diff options
| author | Alejandro W. Sior <aho@sior.be> | 2023-02-03 10:03:37 +0100 |
|---|---|---|
| committer | Alejandro W. Sior <aho@sior.be> | 2023-02-03 10:03:37 +0100 |
| commit | a7417a86fa394efa45dc5a1b87cc10864e2be20f (patch) | |
| tree | 2bc0d9965931f26eaa263615128e607afe84afcf /gcc-7/files/1005-strip.patch | |
| parent | f368e42a125c34ce7ad628f3051dd7ae730ff8ad (diff) | |
gcc-7: rename from gcc-7-il, add quality of life patches
Diffstat (limited to 'gcc-7/files/1005-strip.patch')
| -rw-r--r-- | gcc-7/files/1005-strip.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc-7/files/1005-strip.patch b/gcc-7/files/1005-strip.patch new file mode 100644 index 0000000..efc6e3e --- /dev/null +++ b/gcc-7/files/1005-strip.patch @@ -0,0 +1,13 @@ +Make sure the right strip is used regardless of the environment. + +--- gcc-gcc-7.5.0-oi-0/install-sh.orig 2021-08-17 16:01:03.765264739 +0000 ++++ gcc-gcc-7.5.0-oi-0/install-sh 2021-08-17 15:59:20.045587895 +0000 +@@ -62,7 +62,7 @@ + mkdirprog=${MKDIRPROG-mkdir} + mvprog=${MVPROG-mv} + rmprog=${RMPROG-rm} +-stripprog=${STRIPPROG-strip} ++stripprog="/usr/bin/strip -x" + + posix_mkdir= + |