diff -r c0fe5e8e4864 -r 484ef66bc3a1 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Wed Dec 28 13:00:51 2011 +0100
+++ b/Admin/isatest/isatest-makeall	Wed Dec 28 13:08:18 2011 +0100
@@ -71,7 +71,6 @@
   
     macbroy2)
         MFLAGS="-k"
-        TARGETS=full
         NICE=""
         ;;
 
@@ -102,7 +101,6 @@
 
     macbroy30)
         MFLAGS="-k"
-        TARGETS=full
         NICE=""
         ;;
 
@@ -124,8 +122,13 @@
   TARGETS="$2"
   shift 2
   ISABELLE_HOME="$($ISABELLE_TOOL getenv -b ISABELLE_HOME)"
-  DIR="$ISABELLE_HOME/src/$LOGIC"
-  TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
+  if [ "$LOGIC" = "." ]; then
+    DIR="."
+    TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"
+  else
+    DIR="$ISABELLE_HOME/src/$LOGIC"
+    TOOL="$ISABELLE_TOOL make $MFLAGS $TARGETS"
+  fi
 else
   DIR="."
   TOOL="$ISABELLE_TOOL makeall $MFLAGS $TARGETS"