lib/Tools/make
changeset 7795 111d2a65e1c6
parent 3007 e5efa177ee0c
child 9788 df671fa2562a
equal deleted inserted replaced
7794:37069d910cbe 7795:111d2a65e1c6
    10 function usage()
    10 function usage()
    11 {
    11 {
    12   echo
    12   echo
    13   echo "Usage: $PRG [ARGS ...]"
    13   echo "Usage: $PRG [ARGS ...]"
    14   echo
    14   echo
    15   echo "  Compiles logic in current directory using IsaMakefile."
    15   echo "  Compile the logic in current directory using IsaMakefile."
    16   echo "  ARGS are directly passed to the system make program."
    16   echo "  ARGS are directly passed to the system make program."
    17   echo
    17   echo
    18   exit 1
    18   exit 1
    19 }
    19 }
    20 
    20