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)
... so the user has a chance to reproduce a test-case.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

No differences found