[Bug driver/38316] The "--help=xxx" option does not play well with -pipe or -save-temps

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-12-01 00:14 -------
Confirmed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-12-01 00:14:12
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38316