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>
Dark-Matter7232 · Jun 18, 2013 · a5f6d79 · a5f6d79
1 parent e85ac12
commit a5f6d79
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/kconfig/conf.c b/scripts/kconfig/conf.c
@@ -532,6 +532,7 @@ int main(int ac, char **av)
 					seed = tmp;
 				}
 			}
+			fprintf( stderr, "KCONFIG_SEED=0x%X\n", seed );
 			srand(seed);
 			break;
 		}