From afa1afb4c099ae1a07a4196d331415d90981fa7c Mon Sep 17 00:00:00 2001 From: kolev Date: Wed, 28 Nov 2007 22:24:35 +0000 Subject: [PATCH] Added a new file, sh.env, to the output directory, which lists the shell environment variables. --- AUTOTEST/configure.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/AUTOTEST/configure.sh b/AUTOTEST/configure.sh index 378cdf522..d414f3ff9 100755 --- a/AUTOTEST/configure.sh +++ b/AUTOTEST/configure.sh @@ -64,3 +64,6 @@ fi # Save config.log and Makefile.config cp config.log config/Makefile.config $output_dir + +# Save the environment variables +set > $output_dir/sh.env