diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -15,7 +15,7 @@ # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. prefix="/usr/local" -if [ "$1" = "--help" ] +if [ "$1" = "-h" ] || [ "$1" = "--help" ] then cat <<EOS Usage: configure [options] @@ -24,7 +24,8 @@ Usage: configure [options] EOS exit 0 fi -if [ "$1" = "-p" ]; then +if [ "$1" = "-p" ] || [ "$1" = "--prefix" ] +then if [ "$#" != 2 ]; then ./configure.sh --help exit 1 |