projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1390a6) | patch
gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together.
authorRobert Dewar <dewar@adacore.com>
Fri, 5 Jul 2013 10:26:21 +0000 (10:26 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Jul 2013 10:26:21 +0000 (12:26 +0200)
commit4d20c9591561bea6f51240d350303169773c2a2a
treea580298a6c7abde16fb802e2b7b58ebffbe79807tree | snapshot
parenta1390a6ef6adec0f9abf2b41de88275bd3bd228dcommit | diff
gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document that -gnatR and -gnatD cannot be used
together.
* switch-c.adb: Do not allow -gnatD and -gnatR to both be
specified.

From-SVN: r200701
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
gcc/ada/switch-c.adb diff | blob | history
Domain: System / Toolchain;