From f83d5e4b8e315f2b17f0c8bf390bf967f02f5837 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 25 Oct 2020 12:09:38 +0100 Subject: Added buttons --- run | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'run') diff --git a/run b/run index 3a14d12..b18a550 100755 --- a/run +++ b/run @@ -113,7 +113,7 @@ make_build() { rm -rf build/* printf "\nBuilding...\n" - $MAKE + $MAKE -j $($NPROC) # Create disk image dd if=/dev/zero of=build/disk.img bs=1k count=32k status=none @@ -262,6 +262,7 @@ elif [ "${mode}" = "test" ] || [ "${mode}" = "net" ] || [ "${mode}" = "" ]; then make_build make_sync & make_test + make_clean else echo "Usage: ./run {cross | clean | build | test | debug | again | disasm | sync | disk} [-y]" printf "\nDescription of options:\n" -- cgit v1.2.3