diff options
Diffstat (limited to 'util/crossgcc')
| -rw-r--r-- | util/crossgcc/patches/gcc-6.3.0_ada-raise.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch b/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch new file mode 100644 index 0000000000..a081957615 --- /dev/null +++ b/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch @@ -0,0 +1,11 @@ +--- gcc-6.3.0/gcc/ada/raise.c.orig 2017-06-24 07:06:41.524685169 +0200 ++++ gcc-6.3.0/gcc/ada/raise.c 2017-06-24 07:07:12.945162120 +0200 +@@ -55,7 +55,7 @@ + void + _gnat_builtin_longjmp (void *ptr, int flag ATTRIBUTE_UNUSED) + { +- __builtin_longjmp (ptr, 1); ++ __builtin_longjmp ((void **)ptr, 1); + } + #endif + |