diff configure @ 2795:51bb2caa5f2a

warning for unknown parameters is quite enough
author nick
date Sat, 10 Nov 2001 15:01:47 +0000
parents aa37ac641337
children 9b6aea4867fd
line wrap: on
line diff
--- a/configure	Sat Nov 10 14:52:05 2001 +0000
+++ b/configure	Sat Nov 10 15:01:47 2001 +0000
@@ -1602,7 +1602,7 @@
   --as=*)
 	;;
   *)
-	die "Unknow parameter: $ac_option"
+	echo "Unknow parameter: $ac_option"
 	;;
  esac
 done