From e7bcd5ddb8a85f899faf07e4c0aed4c8818d7acb Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN" <yann.morin.1998@free.fr>
Date: Mon, 20 May 2013 23:09:03 +0200
Subject: [PATCH] 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>
Signed-off-by: Christian Lamparter <chunkeey@googlemail.com>
---
 config/conf.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/config/conf.c b/config/conf.c
index 8b5fdf5..893f031 100644
--- a/config/conf.c
+++ b/config/conf.c
@@ -516,6 +516,7 @@ int main(int ac, char **av)
 					seed = tmp;
 				}
 			}
+			fprintf( stderr, "KCONFIG_SEED=0x%X\n", seed );
 			srand(seed);
 			break;
 		}
-- 
2.31.1