kconfig/conf: print the seed used to initialise the RNG for randconfig
authorYann E. MORIN <yann.morin.1998@free.fr>
Mon, 20 May 2013 21:09:03 +0000 (23:09 +0200)
committerYann E. MORIN <yann.morin.1998@free.fr>
Tue, 18 Jun 2013 21:59:01 +0000 (23:59 +0200)
commita5f6d795f5941e97e757b643a6482968a66c6150
tree9c1d5153c9e3b3a760ffac92f0bc975d85eaaad0
parente85ac12443da72d79dbf7c55c12e4b16b8923d87
kconfig/conf: print the seed used to initialise the RNG for randconfig

... so the user has a chance to reproduce a test-case.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
scripts/kconfig/conf.c