Print out environment settings even if there isn't a chords_env.sh.

earthcubeprojects-chords · Sep 25, 2017 · 9edc45c · 9edc45c
1 parent 2eee876
commit 9edc45c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/chords_start.sh b/chords_start.sh
@@ -56,8 +56,9 @@ mkdir -p log
 if [ -e $chords_env ]
 then
   . $chords_env
-  env
 fi
+echo "echo CHORDS environment settings:"               
+env
 
 # Set some other interesting environment variables.
 export CHORDS_KERNEL_NAME=`uname --kernel-name`

diff --git a/create_chords_env_script.sh b/create_chords_env_script.sh
@@ -15,9 +15,3 @@ echo "export CHORDS_GIT_SHA=\"$CHORDS_GIT_SHA\""
 echo "export CHORDS_GIT_BRANCH=\"$CHORDS_GIT_BRANCH\"" 
 echo "export CHORDS_BUILD_TIME=\"$CHORDS_BUILD_TIME\"" 
 echo "#"                                               
-echo "echo CHORDS environment settings:"               
-echo "echo CHORDS_GIT_SHA=\$CHORDS_GIT_SHA"            
-echo "echo CHORDS_GIT_BRANCH=\$CHORDS_GIT_BRANCH"      
-echo "echo CHORDS_BUILD_TIME=\$CHORDS_BUILD_TIME"      
-
-#chmod a+x $chords_env_script