Synopsis: CPPFLAGS and are not saved in Makefile
State-Changed-From-To: open->closed
State-Changed-By: drow
State-Changed-When: Tue Oct 28 13:11:50 2008
State-Changed-Why:
Now fixed in CVS.
http://sourceware.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gdb&pr=2176