raspberrypi-userland/SOURCES/fix-sudo-install.patch

38 lines
905 B
Diff
Raw Normal View History

2023-08-23 14:35:27 +00:00
From bc464c83e973a4e5c01c41dc4bb7d4714293f511 Mon Sep 17 00:00:00 2001
From: Pavel Kopylov <pkopylov@cloudlinux.com>
Date: Wed, 23 Aug 2023 16:32:41 +0200
2023-09-11 12:41:45 +00:00
Subject: [PATCH] Fix sudo install, keep debuginfo during installation
2023-08-23 14:35:27 +00:00
---
buildme | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/buildme b/buildme
index 9e2d405..6bc241d 100755
--- a/buildme
+++ b/buildme
@@ -28,9 +28,9 @@ if [ $ARCH = "armv6l" ] || [ $ARCH = "armv7l" ] || [ $ARCH = "aarch64" ]; then
make -j4
fi
if [ "$1" != "" ]; then
- sudo make install DESTDIR=$1
2023-09-11 12:41:45 +00:00
+ make install DESTDIR=$1 STRIP=/bin/true
2023-08-23 14:35:27 +00:00
else
- sudo make install
2023-09-11 12:41:45 +00:00
+ make install STRIP=/bin/true
2023-08-23 14:35:27 +00:00
fi
elif [ "$1" = "--native" ]; then
# Build natively on the host
@@ -47,7 +47,7 @@ else
make -j `nproc`
if [ "$1" != "" ]; then
- sudo make install DESTDIR=$1
2023-09-11 12:41:45 +00:00
+ make install DESTDIR=$1 STRIP=/bin/true
2023-08-23 14:35:27 +00:00
fi
fi
popd
--
2.34.1