Have ./configure tolerate unknown options

2014-10-08 10:12:52 +02:00 · 2014-10-08 10:12:52 +02:00 · b1d7306c74
commit b1d7306c74
parent d1a444a83c
1 changed files with 2 additions and 3 deletions
--- a/5
+++ b/5
@ -20,9 +20,8 @@ while test -n "$1"; do
      PGPORT=`echo "$1" | cut -d= -f2`
      ;;
    *)
-      echo "Unknown option '$1'" >&2
-      usage >&2
-      exit 1
+      echo "Unused option '$1'" >&2
+      ;;
  esac
  shift
 done