diff options
| author | Richard Kenner <kenner@gcc.gnu.org> | 1997-07-13 14:03:18 -0400 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 1997-07-13 14:03:18 -0400 |
| commit | a23ea59844cf672a4bc1a57ee0f47f9c75fe7a0c (patch) | |
| tree | 41f72eca26ff3f0572f0d9a24557b0af9112814d /gcc/gcc.c | |
| parent | 7ad9ff7a2baeded2ebab7afa21cdcf7a962360f3 (diff) | |
| download | gcc-a23ea59844cf672a4bc1a57ee0f47f9c75fe7a0c.zip gcc-a23ea59844cf672a4bc1a57ee0f47f9c75fe7a0c.tar.gz gcc-a23ea59844cf672a4bc1a57ee0f47f9c75fe7a0c.tar.bz2 | |
(process_command): If -save-temps and -pipe were specified together,
don't do -pipe.
From-SVN: r14415
Diffstat (limited to 'gcc/gcc.c')
| -rw-r--r-- | gcc/gcc.c | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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]; |