(process_command): If -save-temps and -pipe were specified together,

don't do -pipe.

From-SVN: r14415

diff --git a/gcc/gcc.c b/gcc/gcc.c
index c844f08bc99285215792344bef1c55350baa1bbf..f43d5b016e1d27d4a6f78898d55ae7a25a0180ea 100644 (file)
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -2876,6 +2876,9 @@ process_command (argc, argv)
        i++;
       else if (strncmp (argv[i], "-specs=", 7) == 0)
        ;
+      /* -save-temps overrides -pipe, so that temp files are produced */
+      else if (save_temps_flag && strcmp (argv[i], "-pipe") == 0)
+       error ("Warning: -pipe ignored since -save-temps specified");
       else if (argv[i][0] == '-' && argv[i][1] != 0)
        {
          register char *p = &argv[i][1];