# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1182032633 0
# Node ID a291bfa1771518602fcc8903af7ea34f6752f403
# Parent  e78c0b2bc057e0b8e8f26bb0e2a53ab59e4d574d
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 -r e78c0b2bc057 -r a291bfa17715 scripts/crosstool.sh
--- a/scripts/crosstool.sh	Sat Jun 16 21:44:45 2007 +0000
+++ b/scripts/crosstool.sh	Sat Jun 16 22:23:53 2007 +0000
@@ -27,13 +27,6 @@
 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 -r e78c0b2bc057 -r a291bfa17715 scripts/functions
--- a/scripts/functions	Sat Jun 16 21:44:45 2007 +0000
+++ b/scripts/functions	Sat Jun 16 22:23:53 2007 +0000
@@ -35,6 +35,13 @@
 # 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 -r e78c0b2bc057 -r a291bfa17715 scripts/saveSample.sh
--- a/scripts/saveSample.sh	Sat Jun 16 21:44:45 2007 +0000
+++ b/scripts/saveSample.sh	Sat Jun 16 22:23:53 2007 +0000
@@ -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"