commit: 9f7e44b54807cc930b78126bd9dd29d32c301e8a
parent: a4112dc0db30e2d1dd905f060283b7684428bdea
author: Jani Juhani Sinervo <jani@sinervo.fi>
date: Fri, 16 Apr 2021 23:28:07 +0300
Make stripping of executables optional
Some operating systems and distributions, like Fedora, use the debug
information of the installed executables to generate packages that may
be used by the user and the distribution packages to debug problems
with the installation.
This patch makes it so that a builder may optionally disable the
stripping of executables at ./configure-time.
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/configure b/configure
@@ -4,6 +4,10 @@
# and released into the Public Domain.
Makefile() {
+ if [ $strip -ne 0 ] ; then
+ stripopt="-s"
+ fi
+
if [ -z "$cc" ] ; then
cc=$CC
fi
@@ -49,7 +53,7 @@ cat << EOF >> Makefile
install:
install -d \${DESTDIR}\${BINDIR}
install -d \${DESTDIR}\${MANDIR}/man1
- install -c -s -m 755 \${PROG} \${DESTDIR}\${BINDIR}
+ install -c $stripopt -m 755 \${PROG} \${DESTDIR}\${BINDIR}
install -c -m 644 \${PROG}.1 \${DESTDIR}\${MANDIR}/man1
EOF
@@ -57,7 +61,7 @@ if [ $instsh -ne 0 ] ; then
cat << EOF >> Makefile
install -d \${DESTDIR}\${BINDIR}
install -d \${DESTDIR}\${MANDIR}/man1
- install -c -s -m 755 \${PROG} \${DESTDIR}\${BINDIR}/sh
+ install -c $stripopt -m 755 \${PROG} \${DESTDIR}\${BINDIR}/sh
install -c -m 644 sh.1 \${DESTDIR}\${MANDIR}/man1
EOF
fi
@@ -756,6 +760,7 @@ curses=1
instsh=0
static=0
lto=0
+strip=1
# Options
for opt
@@ -819,6 +824,9 @@ do
--no-link)
compileonly=1
;;
+ --no-strip)
+ strip=0
+ ;;
--help|-h)
echo "Usage: configure [options]"
echo ""
@@ -845,6 +853,8 @@ do
echo "Skip all configure checks"
printf " --no-link "
echo "Compile only, do not link (requires --no-thanks)"
+ printf " --no-strip "
+ echo "Do not strip the executables when installing [default=stripping]"
exit 1
;;
*)
