lib/Tools/mkdir
changeset 8211 714f164f0385
parent 8199 9e45cf2e6cf7
child 8244 c587f5ac4a98
     1.1 --- a/lib/Tools/mkdir	Tue Feb 08 20:14:09 2000 +0100
     1.2 +++ b/lib/Tools/mkdir	Tue Feb 08 20:14:58 2000 +0100
     1.3 @@ -16,9 +16,9 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -I FILE      alternative IsaMakefile output"
     1.7 +  echo "    -P           include parent logic target"
     1.8    echo "    -b           setup build mode (session outputs heap image)"
     1.9    echo "    -d           setup document"
    1.10 -  echo "    -p           include parent logic target"
    1.11    echo
    1.12    echo "  Prepare session directory, including IsaMakefile, document etc."
    1.13    echo "  with parent LOGIC (default ISABELLE_LOGIC=$ISABELLE_LOGIC)"
    1.14 @@ -38,25 +38,25 @@
    1.15  # options
    1.16  
    1.17  ISAMAKEFILE="IsaMakefile"
    1.18 +PARENT=""
    1.19  BUILD=""
    1.20  DOCUMENT=""
    1.21 -PARENT=""
    1.22  
    1.23 -while getopts "I:bdp" OPT
    1.24 +while getopts "I:Pbd" OPT
    1.25  do
    1.26    case "$OPT" in
    1.27      I)
    1.28        ISAMAKEFILE="$OPTARG"
    1.29        ;;
    1.30 +    P)
    1.31 +      PARENT=true
    1.32 +      ;;
    1.33      b)
    1.34        BUILD=true
    1.35        ;;
    1.36      d)
    1.37        DOCUMENT=true
    1.38        ;;
    1.39 -    p)
    1.40 -      PARENT=true
    1.41 -      ;;
    1.42      \?)
    1.43        usage
    1.44        ;;
    1.45 @@ -95,7 +95,7 @@
    1.46  else
    1.47    IMAGES=""
    1.48    TEST="$NAME"
    1.49 -  TARGET="\$(LOG)/$NAME.gz"
    1.50 +  TARGET="\$(LOG)/$LOGIC-$NAME.gz"
    1.51    USEDIR="\$(USEDIR)"
    1.52  fi
    1.53