diff options
Diffstat (limited to 'gnat2020.patch')
-rw-r--r-- | gnat2020.patch | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/gnat2020.patch b/gnat2020.patch deleted file mode 100644 index 970d7efb3223..000000000000 --- a/gnat2020.patch +++ /dev/null @@ -1,26 +0,0 @@ -diff --git a/gpr/gpr.gpr b/gpr/gpr.gpr -index 7ff9ff81..98180a3e 100644 ---- a/gpr/gpr.gpr -+++ b/gpr/gpr.gpr -@@ -43,7 +43,7 @@ library project GPR is - -------------- - - package Compiler is -- Common_Switches := ("-gnat2020", "-gnaty", "-gnatQ", "-gnata"); -+ Common_Switches := ("-gnaty", "-gnatQ", "-gnata"); - - case Bld is - when "debug" => -diff --git a/gprbuild.gpr b/gprbuild.gpr -index 0fa1df76..35e04535 100644 ---- a/gprbuild.gpr -+++ b/gprbuild.gpr -@@ -81,7 +81,7 @@ project Gprbuild is - -------------- - - package Compiler is -- Common_Switches := ("-gnat2020", "-gnaty", "-gnatQ", "-gnata", "-gnateE"); -+ Common_Switches := ("-gnaty", "-gnatQ", "-gnata", "-gnateE"); - - case Bld is - when "debug" => |