comparison: dist/install.sh
dist/install.sh
- changeset 25
- f061eecae302
- parent 24
- e7c0b50468ee
- child 26
- 0a5e13216803
equal
deleted
inserted
replaced
| 24:e7c0b50468ee | 25:f061eecae302 |
|---|---|
| 5 # help text | 5 # help text |
| 6 printhelp() | 6 printhelp() |
| 7 { | 7 { |
| 8 echo "Usage: $0 [PREFIX=<path>]" | 8 echo "Usage: $0 [PREFIX=<path>]" |
| 9 echo | 9 echo |
| 10 echo "Default PREFIX:" $PREFIX | 10 echo "Default PREFIX: /usr/local" |
| 11 } | 11 } |
| 12 | 12 |
| 13 # | 13 # |
| 14 # parse arguments | 14 # parse arguments |
| 15 # | 15 # |
