# 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="."