equal
deleted
inserted
replaced
125 echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1 |
125 echo ------------------- test FAILED --- `date` --- $HOSTNAME >> $TESTLOG 2>&1 |
126 |
126 |
127 # error log |
127 # error log |
128 echo "Test for platform ${SHORT} failed. Log file attached." >> $ERRORLOG |
128 echo "Test for platform ${SHORT} failed. Log file attached." >> $ERRORLOG |
129 echo "[...]" >> $ERRORLOG |
129 echo "[...]" >> $ERRORLOG |
130 tail -3 $TESTLOG >> $ERRORLOG |
130 tail -4 $TESTLOG >> $ERRORLOG |
131 echo >> $ERRORLOG |
131 echo >> $ERRORLOG |
132 |
132 |
133 FAIL="$FAIL$SHORT " |
133 FAIL="$FAIL$SHORT " |
134 (cd $ERRORDIR; cp $TESTLOG .) |
134 (cd $ERRORDIR; cp $TESTLOG .) |
135 fi |
135 fi |