changeset 8143:8a89febc9b29

avoid using stale parameters for compilation if an error ocurred in configure (think of ./configure <...> && make)
author pl
date Mon, 11 Nov 2002 01:11:58 +0000
parents fd991102dd60
children ccd95b547f6d
files configure
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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