summaryrefslogtreecommitdiff
path: root/gcc/ada/ug_words
diff options
context:
space:
mode:
authorbstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4>2008-08-04 13:51:43 +0000
committerbstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4>2008-08-04 13:51:43 +0000
commit0c888ad177ad08a2bac14e762ddced0beed5647c (patch)
tree828bbf6fbd489f2ef494e6151a1c4d1d49ecf151 /gcc/ada/ug_words
parent8b407655ed1a6e1300b60482f455c32e8b662a8b (diff)
downloadgcc-0c888ad177ad08a2bac14e762ddced0beed5647c.tar.gz
2008-08-04 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk r138620 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@138622 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/ug_words')
-rw-r--r--gcc/ada/ug_words1
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/ug_words b/gcc/ada/ug_words
index 7f8e9577e86..2cab6da2dea 100644
--- a/gcc/ada/ug_words
+++ b/gcc/ada/ug_words
@@ -61,6 +61,7 @@ gcc -c ^ GNAT COMPILE
-gnatec ^ /CONFIGURATION_PRAGMAS_FILE
-gnateD ^ /SYMBOL_PREPROCESSING
-gnatef ^ /FULL_PATH_IN_BRIEF_MESSAGES
+-gnateG ^ /GENERATE_PROCESSED_SOURCE
-gnatem ^ /MAPPING_FILE
-gnatep ^ /DATA_PREPROCESSING
-gnatE ^ /CHECKS=ELABORATION