summaryrefslogtreecommitdiff
path: root/gcc/ada/opt.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/opt.ads')
-rw-r--r--gcc/ada/opt.ads7
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads
index b31a66e9e69..9c577c73032 100644
--- a/gcc/ada/opt.ads
+++ b/gcc/ada/opt.ads
@@ -933,6 +933,13 @@ package Opt is
-- GNATMAKE
-- Set to True when an object directory is specified with option -D
+ Old_Checksums : Boolean := False;
+ Old_Old_Checksums : Boolean := False;
+ -- GPRBUILD
+ -- Set to True when the old ways of computing checksums needs to be used.
+ -- For reserved words, the old ways were to use the token value, while the
+ -- new way is to use Tok_Identifier for reserved word too.
+
One_Compilation_Per_Obj_Dir : Boolean := False;
-- GNATMAKE, GPRBUILD
-- Set to True with switch --single-compile-per-obj-dir. When True, there