OSDN Git Service

* usage.adb: Add lines for V switch.
authorbosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 12 Oct 2001 00:46:56 +0000 (00:46 +0000)
committerbosch <bosch@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 12 Oct 2001 00:46:56 +0000 (00:46 +0000)
commitc2a5cd56d55c705c6bf8f4bd84844bb7038cfcb6
tree825d30076a5df9ac747f93106998bfc27df3cf33
parent1beb4fb80cae66742c8d24a6e7eb628a984e91e9
* usage.adb: Add lines for V switch.

* gnatcmd.adb (COMPILE): Revise translations for -gnatV
(/VALIDITY_CHECKING).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@46219 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gnatcmd.adb
gcc/ada/usage.adb