--- 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