diff options
Diffstat (limited to 'fix-compilation.patch')
| -rw-r--r-- | fix-compilation.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/fix-compilation.patch b/fix-compilation.patch deleted file mode 100644 index f42abbd139ff..000000000000 --- a/fix-compilation.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- gcc/gcc/ubsan.c 2018-02-04 21:13:39.853992701 +0100 -+++ gcc/gcc/ubsan.c 2018-02-04 21:12:44.957195790 +0100 -@@ -1469,7 +1469,7 @@ - - expanded_location xloc = expand_location (loc); - if (xloc.file == NULL || strncmp (xloc.file, "\1", 2) == 0 -- || xloc.file == '\0' || xloc.file[0] == '\xff' -+ || xloc.file[0] == '\0' || xloc.file[0] == '\xff' - || xloc.file[1] == '\xff') - return false; - |