From: Paul Hänsch Date: Mon, 5 Oct 2020 14:46:09 +0000 (+0200) Subject: RPI: make filesystem optional X-Git-Url: https://git.plutz.net/?a=commitdiff_plain;h=885091ac4326fa344c3831532daf01a0c6a4eeb8;p=blast RPI: make filesystem optional --- diff --git a/Makefile b/Makefile index db032a6..cd430aa 100644 --- a/Makefile +++ b/Makefile @@ -152,7 +152,7 @@ else ifdef raspi deb http://archive.raspberrypi.org/debian ${release} main endef - PACKAGES += firmware-brcm80211 libraspberrypi-bin libraspberrypi0 pi-bluetooth raspberrypi-bootloader raspberrypi-kernel initramfs-tools btrfs-tools + PACKAGES += firmware-brcm80211 libraspberrypi-bin libraspberrypi0 pi-bluetooth raspberrypi-bootloader raspberrypi-kernel initramfs-tools _target: _umount _config