diff options
Diffstat (limited to 'external/epm/asan.patch.0')
| -rw-r--r-- | external/epm/asan.patch.0 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/external/epm/asan.patch.0 b/external/epm/asan.patch.0 new file mode 100644 index 000000000..b17ac26be --- /dev/null +++ b/external/epm/asan.patch.0 @@ -0,0 +1,16 @@ +--- dist.c ++++ dist.c +@@ -405,7 +405,12 @@ + for (temp = platform->machine; *temp != '\0'; temp ++) + if (*temp == '-' || *temp == '_') + { +- strcpy(temp, temp + 1); ++ char * t2 = temp; ++ for (;; ++t2) { ++ char c = t2[1]; ++ t2[0] = c; ++ if (c == '\0') break; ++ } + temp --; + } + else |