From 5e07f7cfc3292f4c185a570546e449b096056da7 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Sat, 16 Jun 2007 22:23:53 +0000
Subject: scripts/functions is responsible for initiating the log file. Users
 of the log facility are in charge to use, move, delete this log file, now.


diff --git a/scripts/crosstool.sh b/scripts/crosstool.sh
index 6c78d52..6a88211 100755
--- a/scripts/crosstool.sh
+++ b/scripts/crosstool.sh
@@ -27,13 +27,6 @@ fi
 CT_STAR_DATE=`CT_DoDate +%s%N`
 CT_STAR_DATE_HUMAN=`CT_DoDate +%Y%m%d.%H%M%S`
 
-# Log policy:
-#  - first of all, save stdout so we can see the live logs: fd #6
-exec 6>&1
-#  - then point stdout to the log file (temporary for now)
-tmp_log_file="${CT_TOP_DIR}/log.$$"
-exec >>"${tmp_log_file}"
-
 # Are we configured? We'll need that later...
 CT_TestOrAbort "Configuration file not found. Please create one." -f "${CT_TOP_DIR}/.config"
 
diff --git a/scripts/functions b/scripts/functions
index e14cf35..d66fe22 100644
--- a/scripts/functions
+++ b/scripts/functions
@@ -35,6 +35,13 @@ set -o pipefail
 # shared is not found
 set +o hashall
 
+# Log policy:
+#  - first of all, save stdout so we can see the live logs: fd #6
+exec 6>&1
+#  - then point stdout to the log file (temporary for now)
+tmp_log_file="${CT_TOP_DIR}/log.$$"
+exec >>"${tmp_log_file}"
+
 # The different log levels:
 CT_LOG_LEVEL_ERROR=0
 CT_LOG_LEVEL_WARN=1
diff --git a/scripts/saveSample.sh b/scripts/saveSample.sh
index 3d58bd9..7a5b57c 100755
--- a/scripts/saveSample.sh
+++ b/scripts/saveSample.sh
@@ -10,8 +10,9 @@
 
 . "${CT_TOP_DIR}/scripts/functions"
 
-exec 6>&1
+# Don't care about any log file
 exec >/dev/null
+rm -f "${tmp_log_file}"
 
 # Parse the configuration file
 CT_TestOrAbort "Configuration file not found. Please create one." -f "${CT_TOP_DIR}/.config"
-- 
cgit v0.10.2-6-g49f6