| changeset 7795 | 111d2a65e1c6 |
| parent 3007 | e5efa177ee0c |
| child 9788 | df671fa2562a |
| 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 |