The unified diff between revisions [5c482f05..] and [1687558b..] is displayed below. It can also be downloaded as a raw diff.

#
#
# patch "debian/tools.gpr"
#  from [3e335399c19169794db6f26b971d1918b7232028]
#    to [474c5edc91540c2f996e1f2ebbf67822994207a1]
#
============================================================
--- debian/tools.gpr	3e335399c19169794db6f26b971d1918b7232028
+++ debian/tools.gpr	474c5edc91540c2f996e1f2ebbf67822994207a1
@@ -36,7 +36,7 @@ project Tools is

    package Compiler is
       for Default_Switches ("Ada")
-        use ("-O2", "-gnatafnoy", "-gnatVa", "-gnatwa", "-fstack-check");
+        use ("-O2", "-gnatafnoy", "-gnatVa", "-gnatwa");
    end Compiler;

    package Builder is