# HG changeset patch
# User atmos4
# Date 1028031866 0
# Node ID e029995a9d8807fbf5e93c8a7919a9a45f225e65
# Parent  ed02bae611d57cfb8bd85222f08357af3d9769b6
quit on unknown parm

diff -r ed02bae611d5 -r e029995a9d88 configure
--- 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