[Bug pch/15351] Add option for caching headers

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-09 20:38 -------
Confirmed, this is a very nice feature if PCH was designed differnently.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-05-09 20:38:46
               date|                            |


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