diff -r 789f51111cb9 -r 5ca2b792a5fd common/autoconf/basics.m4
--- a/common/autoconf/basics.m4	Wed Jan 29 22:55:43 2014 +0100
+++ b/common/autoconf/basics.m4	Fri Jan 31 10:24:58 2014 +0100
@@ -250,7 +250,7 @@
   if test "x$CONFIGURE_OVERRIDDEN_VARIABLES" != x; then
     # Replace the separating ! with spaces before presenting for end user.
     unknown_variables=${CONFIGURE_OVERRIDDEN_VARIABLES//!/ }
-    AC_MSG_ERROR([The following variables are unknown to configure: $unknown_variables])
+    AC_MSG_WARN([The following variables might be unknown to configure: $unknown_variables])
   fi
 ])