From a7417a86fa394efa45dc5a1b87cc10864e2be20f Mon Sep 17 00:00:00 2001
From: "Alejandro W. Sior" <aho@sior.be>
Date: Fri, 3 Feb 2023 10:03:37 +0100
Subject: gcc-7: rename from gcc-7-il, add quality of life patches

---
 gcc-7/files/1005-strip.patch | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 gcc-7/files/1005-strip.patch

(limited to 'gcc-7/files/1005-strip.patch')

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=
+ 
-- 
cgit v1.2.3