From a7e1b1aa1ac2ca261967699407641a61565ed7e7 Mon Sep 17 00:00:00 2001 From: Takumi Sueda Date: Fri, 13 Mar 2026 15:26:27 +0900 Subject: [PATCH] Split brainux-clean into clean and umount-special --- Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index c8c094d..d159a98 100644 --- a/Makefile +++ b/Makefile @@ -142,7 +142,6 @@ brainux: fi mkdir -p brainux sudo mkdir -p brainux/proc brainux/sys - #sudo mount --rbind /dev $(shell pwd)/brainux/dev sudo mount -t proc none $(shell pwd)/brainux/proc sudo mount --rbind /sys $(shell pwd)/brainux/sys @@ -159,10 +158,12 @@ brainux: sudo rm brainux/setup_brainux.sh sudo ./os-brainux/override.sh ./os-brainux/override ./brainux -brainux-clean: - #sudo umount -l $(shell pwd)/brainux/dev || true +brainux-umount-special: sudo umount $(shell pwd)/brainux/proc || true sudo umount -l $(shell pwd)/brainux/sys || true + sudo rm -rf brainux/proc brainux/sys + +brainux-clean: brainux-umount-special sudo rm -rf brainux buildroot_rootfs: