raspberrypi-userland/SOURCES/fix-buildme-arm64.patch
2023-08-23 14:26:16 +02:00

17 lines
505 B
Diff

diff --git a/userland-cc1ca18fb0689b01cc2ca2aa4b400dcee624a213/buildme b/raspberrypi-userland-1.0.0/buildme
index 9e2d405..2732377 100755
--- a/userland-cc1ca18fb0689b01cc2ca2aa4b400dcee624a213/buildme
+++ b/raspberrypi-userland-1.0.0/buildme
@@ -15,6 +15,11 @@ if [ "$1" = "--aarch64" ]; then
shift
fi
+if [ "$1" = "--force-arm64" ]; then
+ ARM64=ON
+ shift
+fi
+
BUILDSUBDIR=`echo $BUILDTYPE | tr '[A-Z]' '[a-z]'`;
if [ $ARCH = "armv6l" ] || [ $ARCH = "armv7l" ] || [ $ARCH = "aarch64" ]; then