changeset 10511 | efb3428c9879 |
parent 9788 | df671fa2562a |
child 10555 | 2323ec838401 |
10510:d243553849ec | 10511:efb3428c9879 |
---|---|
7 # DESCRIPTION: build object-logic or run examples |
7 # DESCRIPTION: build object-logic or run examples |
8 |
8 |
9 |
9 |
10 ## diagnostics |
10 ## diagnostics |
11 |
11 |
12 PRG=$(basename "$0") |
12 PRG="$(basename "$0")" |
13 |
13 |
14 function usage() |
14 function usage() |
15 { |
15 { |
16 echo |
16 echo |
17 echo "Usage: $PRG [OPTIONS] LOGIC NAME" |
17 echo "Usage: $PRG [OPTIONS] LOGIC NAME" |