# HG changeset patch
# User pl
# Date 1036977118 0
# Node ID 8a89febc9b29549e956d74fa9427c8b9092e8b9d
# Parent  fd991102dd603f9d355c7063929ca610fec7985a
avoid using stale parameters for compilation if an error ocurred in configure
(think of ./configure <...> && make)

diff -r fd991102dd60 -r 8a89febc9b29 configure
--- a/configure	Mon Nov 11 00:53:46 2002 +0000
+++ b/configure	Mon Nov 11 01:11:58 2002 +0000
@@ -1313,7 +1313,7 @@
 
   *)
     echo "Unknown parameter: $ac_option"
-    exit
+    exit 1
     ;;
 
   esac