From 93757d99726dd42a5d6de5a7b489732567c51a26 Mon Sep 17 00:00:00 2001 From: Manawyrm Date: Thu, 29 Jun 2023 23:28:05 +0200 Subject: [PATCH] Try to fix CI --- build_raspberry_pi.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build_raspberry_pi.sh b/build_raspberry_pi.sh index 25a4d5b..decd944 100755 --- a/build_raspberry_pi.sh +++ b/build_raspberry_pi.sh @@ -45,9 +45,9 @@ sudo rsync -a "${SCRIPT_DIR}/raspberry_pi_skeleton/." "${BUILD_DIR}" sudo rsync -a "${SCRIPT_DIR}/kiosk_skeleton/." "${BUILD_DIR}/kiosk_skeleton" # Mount system partitions (from the build host) -sudo mount -t proc /proc "${BUILD_DIR}/proc/" -sudo mount --rbind /sys "${BUILD_DIR}/sys/" -sudo mount --rbind /dev "${BUILD_DIR}/dev/" +sudo mount proc -t proc -o nosuid,noexec,nodev "${BUILD_DIR}/proc/" +sudo mount sys -t sysfs -o nosuid,noexec,nodev,ro "${BUILD_DIR}/sys/" +sudo mount devpts -t devtmpfs -o mode=0755,nosuid "${BUILD_DIR}/dev/" sudo chroot "${BUILD_DIR}" /raspberry_pi_bullseye.sh sudo chroot "${BUILD_DIR}" /kiosk_skeleton/build.sh