# HG changeset patch
# User nick
# Date 1005404507 0
# Node ID 51bb2caa5f2a2f11f9f717a0443b0f8f804a5a72
# Parent  411be2ac50ae862ff9b419761c4415a3987eda68
warning for unknown parameters is quite enough

diff -r 411be2ac50ae -r 51bb2caa5f2a configure
--- 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