Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make the test for experimental sessions in isatest-check actually work
authorkleing
Wed, 08 Oct 2008 00:25:38 +0200
changeset 28527 82b36daff4c1
parent 28526 a30b9cf3502e
child 28528 0cf2749e8ef7
make the test for experimental sessions in isatest-check actually work (test for log files ending in e.log)
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions 
--- 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
isabelle