[Bug other/36328] system headers not found if exec_prefix != prefix

[wilson at gcc dot gnu.org]

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

Jim Wilson <wilson at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wilson at gcc dot gnu.org

--- Comment #2 from Jim Wilson <wilson at gcc dot gnu.org> 2011-06-07 22:47:05 
UTC ---
We just ran into the same problem at Cisco.  I also agree that the patch is
correct, and can approve it.  The patch is OK.