diff options
Diffstat (limited to 'util/crossgcc/patches/gcc-6.3.0_ada-raise.patch')
| -rw-r--r-- | util/crossgcc/patches/gcc-6.3.0_ada-raise.patch | 11 |
1 files changed, 0 insertions, 11 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 deleted file mode 100644 index a081957615..0000000000 --- a/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 - |