Warn for unknown options

diff --git a/configure b/configure
index 51a02393183a098a5c976942de04c4b7c3fb072d..47eef645b2b461fb7e31de0b5905c28b8c206a73 100755 (executable)
--- a/configure
+++ b/configure
@@ -24,6 +24,7 @@ for x; do
        --with-ccopts|CFLAGS) CFLAGS=$var;;
        CPPFLAGS) CPPFLAGS=$var;;
        --with-hook|--with-hooks|HOOKSCRIPTS) HOOKSCRIPTS=$var;;
+       *) echo "$0: WARNING: unknown option $opt" >&2;;
        esac
 done