| changeset 24 | e6d4310613a4 |
| parent 23 | a8998bd43467 |
| child 25 | 527d0fb0bdc4 |
| 23:a8998bd43467 | 24:e6d4310613a4 |
|---|---|
7 TESTING= |
7 TESTING= |
8 |
8 |
9 DO_SHOWSPEC=y |
9 DO_SHOWSPEC=y |
10 DO_VIRTINSTALL= |
10 DO_VIRTINSTALL= |
11 |
11 |
12 scripts=$(dirname $0)/scripts |
12 lib=$(dirname $0)/lib |
13 . $scripts/lib.sh |
13 . $lib/lib.sh |
14 |
14 |
15 ### Command-line input |
15 ### Command-line input |
16 ## Command-line options |
16 ## Command-line options |
17 function _help () { |
17 function _help () { |
18 cat <<END |
18 cat <<END |