changeset 28527 | 82b36daff4c1 |
parent 28504 | 7ad7d7d6df47 |
child 28539 | bdb308737bfd |
--- a/Admin/isatest/isatest-makeall Wed Oct 08 00:03:42 2008 +0200 +++ b/Admin/isatest/isatest-makeall Wed Oct 08 00:25:38 2008 +0200 @@ -116,7 +116,14 @@ DATE=$(date "+%Y-%m-%d") SHORT=${SETTINGS##*/} - TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME.log + + if [ "${SHORT%-e}" == "$SHORT" ]; then + # normal test + TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME.log + else + # experimental test + TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME-e.log + fi # the test