diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-06-16 22:23:53 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-06-16 22:23:53 (GMT) |
| commit | 5e07f7cfc3292f4c185a570546e449b096056da7 (patch) | |
| tree | 54db73ad95a7ceda786f66fea50de9301fbb7161 /scripts/crosstool.sh | |
| parent | d8bc11b1653185bc826680243cc32b87a6451df2 (diff) | |
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.
Diffstat (limited to 'scripts/crosstool.sh')
| -rwxr-xr-x | scripts/crosstool.sh | 7 |
1 files changed, 0 insertions, 7 deletions
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" |