[patch] ignore_unknown_cflags2.patch

ignore_unknown_cflags2.patch (text/plain), 657 bytes, created by Alexey Maximov on 2005-11-25 02:24:21 UTC

--- gcc/opts.c.orig	2005-11-06 04:14:27.000000000 +0600
+++ gcc/opts.c	2005-11-16 05:35:46.000000000 +0600
@@ -434,6 +434,8 @@
 handle_options (unsigned int argc, const char **argv, unsigned int lang_mask)
 {
   unsigned int n, i;
+  int z;
+  z = *(getenv ("GCC_IGNORE_UNKNOWN_CFLAGS") ?: "") == '\0' ? 0 : 1;
 
   for (i = 1; i < argc; i += n)
     {
@@ -454,7 +456,14 @@
       if (!n)
 	{
 	  n = 1;
-	  error ("unrecognized command line option \"%s\"", opt);
+	  if (z)
+	    {
+		warning ("unrecognized command line option \"%s\"", opt);
+	    }
+          else
+	    {
+		error ("unrecognized command line option \"%s\"", opt);
+	    }
 	}
     }
 }