diff options
Diffstat (limited to 'patch-a4g-a_opt.adb')
-rw-r--r-- | patch-a4g-a_opt.adb | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/patch-a4g-a_opt.adb b/patch-a4g-a_opt.adb new file mode 100644 index 000000000000..5a4e3efb40e0 --- /dev/null +++ b/patch-a4g-a_opt.adb @@ -0,0 +1,20 @@ +--- asis/a4g-a_opt.adb-orig 2015-11-04 08:07:22.751223374 +1100 ++++ asis/a4g-a_opt.adb 2015-11-04 08:08:19.197892357 +1100 +@@ -175,7 +175,7 @@ + when 's' => + + if Parameter = "-sv" then +- Strong_Version_Check := True; ++ Strong_Version_Check := False; + else + Unknown_Parameter := True; + end if; +@@ -241,7 +241,7 @@ + begin + Is_Initialized := False; + ASIS_Warning_Mode := Normal; +- Strong_Version_Check := True; ++ Strong_Version_Check := False; + Generate_Bug_Box := True; + Keep_Going := False; + end Set_Off; |