lib/Tools/mkdir
changeset 8211 714f164f0385
parent 8199 9e45cf2e6cf7
child 8244 c587f5ac4a98
--- a/lib/Tools/mkdir	Tue Feb 08 20:14:09 2000 +0100
+++ b/lib/Tools/mkdir	Tue Feb 08 20:14:58 2000 +0100
@@ -16,9 +16,9 @@
   echo
   echo "  Options are:"
   echo "    -I FILE      alternative IsaMakefile output"
+  echo "    -P           include parent logic target"
   echo "    -b           setup build mode (session outputs heap image)"
   echo "    -d           setup document"
-  echo "    -p           include parent logic target"
   echo
   echo "  Prepare session directory, including IsaMakefile, document etc."
   echo "  with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
@@ -38,25 +38,25 @@
 # options
 
 ISAMAKEFILE="IsaMakefile"
+PARENT=""
 BUILD=""
 DOCUMENT=""
-PARENT=""
 
-while getopts "I:bdp" OPT
+while getopts "I:Pbd" OPT
 do
   case "$OPT" in
     I)
       ISAMAKEFILE="$OPTARG"
       ;;
+    P)
+      PARENT=true
+      ;;
     b)
       BUILD=true
       ;;
     d)
       DOCUMENT=true
       ;;
-    p)
-      PARENT=true
-      ;;
     \?)
       usage
       ;;
@@ -95,7 +95,7 @@
 else
   IMAGES=""
   TEST="$NAME"
-  TARGET="\$(LOG)/$NAME.gz"
+  TARGET="\$(LOG)/$LOGIC-$NAME.gz"
   USEDIR="\$(USEDIR)"
 fi