Merge 185118addb into 9ec542ee17

2024-10-27 20:34:07 +00:00 · 2012-02-08 01:34:13 -08:00 · 2012-02-08 01:34:13 -08:00 · fc27202a92
commit fc27202a92
parent 9ec542ee17 185118addb
1 changed files with 2 additions and 1 deletions
--- a/install.sh
+++ b/install.sh
@ -49,7 +49,8 @@ while true; do
            if [ $# -gt 1 ]; then
                prefix=$2; shift 2
            else
-                die "--prefix or -p require an argument"
+                echo "--prefix or -p require an argument" 1>&2
+                exit 1
            fi
            ;;
        --)