git.ipfire.org Git - thirdparty/gcc.git/commit

author	Robert Dewar <dewar@adacore.com>
	Mon, 14 Oct 2013 13:01:34 +0000 (13:01 +0000)
committer	Arnaud Charlet <charlet@gcc.gnu.org>
	Mon, 14 Oct 2013 13:01:34 +0000 (15:01 +0200)
commit	d48cd424bba331e0d119aa11bb1fed2b276212ee
tree	40a2c2e242f4ba31fa9e53f35977d39c7e1919d5	tree
parent	e4691ba99bff054f10be59543a6571fdbabbb427	commit \| diff

gnat_ugn.texi: Document -gnateu switch.

2013-10-14 Robert Dewar <dewar@adacore.com>

* gnat_ugn.texi: Document -gnateu switch.
* opt.ads (Ignore_Unrecognized_VWY_Switches): New switch.
* stylesw.adb: Ignore unrecognized switch if
Ignore_Unrecognized_VWY_Switches set.
* switch-c.adb: Implement -gnateu (sets
Ignore_Unrecognized_VWY_Switches).
* validsw.adb: Ignore unrecognized switch if
Ignore_Unrecognized_VWY_Switches set.
* warnsw.adb: Ignore unrecognized switch if
Ignore_Unrecognized_VWY_Switches set.

From-SVN: r203536

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/gnat_ugn.texi		diff \| blob \| blame \| history
gcc/ada/opt.ads		diff \| blob \| blame \| history
gcc/ada/stylesw.adb		diff \| blob \| blame \| history
gcc/ada/switch-c.adb		diff \| blob \| blame \| history
gcc/ada/validsw.adb		diff \| blob \| blame \| history
gcc/ada/warnsw.adb		diff \| blob \| blame \| history