changeset 1374:0c49c2128721 draft

Warn for unknown options
author Roy Marples <roy@marples.name>
date Sun, 26 Jul 2009 16:40:47 +0000
parents 8b33a6ea3a65
children 7949f3c690eb
files configure
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Sun Jul 26 15:27:00 2009 +0000
+++ b/configure	Sun Jul 26 16:40:47 2009 +0000
@@ -24,6 +24,7 @@
 	--with-ccopts|CFLAGS) CFLAGS=$var;;
 	CPPFLAGS) CPPFLAGS=$var;;
 	--with-hook|--with-hooks|HOOKSCRIPTS) HOOKSCRIPTS=$var;;
+	*) echo "$0: WARNING: unknown option $opt" >&2;;
 	esac
 done