# HG changeset patch # User isatest # Date 1191200350 -7200 # Node ID 56b8b2cfa08ef7842c65cb0821e95265d2d97fbd # Parent 197e4df96fd451a50b0a94563152bc476c1574c7 fixed dir in single-logic test diff -r 197e4df96fd4 -r 56b8b2cfa08e Admin/isatest/isatest-makeall --- a/Admin/isatest/isatest-makeall Sun Sep 30 21:55:19 2007 +0200 +++ b/Admin/isatest/isatest-makeall Mon Oct 01 02:59:10 2007 +0200 @@ -97,7 +97,7 @@ TARGETS="$2" shift 2 ISABELLE_HOME="$($ISATOOL getenv -b ISABELLE_HOME)" - DIR="$ISABELLE_HOME/$LOGIC" + DIR="$ISABELLE_HOME/src/$LOGIC" TOOL="$ISATOOL make $MFLAGS $TARGETS" else DIR="."