scripts/crosstool.sh
changeset 165 a291bfa17715
parent 153 3a0c06094db0
child 174 75f3f975e2ad
     1.1 --- a/scripts/crosstool.sh	Sat Jun 02 15:50:45 2007 +0000
     1.2 +++ b/scripts/crosstool.sh	Sat Jun 16 22:23:53 2007 +0000
     1.3 @@ -27,13 +27,6 @@
     1.4  CT_STAR_DATE=`CT_DoDate +%s%N`
     1.5  CT_STAR_DATE_HUMAN=`CT_DoDate +%Y%m%d.%H%M%S`
     1.6  
     1.7 -# Log policy:
     1.8 -#  - first of all, save stdout so we can see the live logs: fd #6
     1.9 -exec 6>&1
    1.10 -#  - then point stdout to the log file (temporary for now)
    1.11 -tmp_log_file="${CT_TOP_DIR}/log.$$"
    1.12 -exec >>"${tmp_log_file}"
    1.13 -
    1.14  # Are we configured? We'll need that later...
    1.15  CT_TestOrAbort "Configuration file not found. Please create one." -f "${CT_TOP_DIR}/.config"
    1.16