equal
deleted
inserted
replaced
114 |
114 |
115 # logfile setup |
115 # logfile setup |
116 |
116 |
117 DATE=$(date "+%Y-%m-%d") |
117 DATE=$(date "+%Y-%m-%d") |
118 SHORT=${SETTINGS##*/} |
118 SHORT=${SETTINGS##*/} |
119 TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME.log |
119 |
|
120 if [ "${SHORT%-e}" == "$SHORT" ]; then |
|
121 # normal test |
|
122 TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME.log |
|
123 else |
|
124 # experimental test |
|
125 TESTLOG=$LOGPREFIX/isatest-makeall-$SHORT-$DATE-$HOSTNAME-e.log |
|
126 fi |
120 |
127 |
121 # the test |
128 # the test |
122 |
129 |
123 touch $RUNNING/$SHORT.running |
130 touch $RUNNING/$SHORT.running |
124 |
131 |