changeset 6841:e029995a9d88

quit on unknown parm
author atmos4
date Tue, 30 Jul 2002 12:24:26 +0000
parents ed02bae611d5
children e330b1b0b835
files configure
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/configure	Tue Jul 30 11:50:20 2002 +0000
+++ b/configure	Tue Jul 30 12:24:26 2002 +0000
@@ -1242,6 +1242,7 @@
 
   *)
     echo "Unknown parameter: $ac_option"
+    exit
     ;;
 
   esac