diff options
author | Marvin Borner | 2020-10-25 12:09:38 +0100 |
---|---|---|
committer | Marvin Borner | 2020-10-25 12:09:38 +0100 |
commit | f83d5e4b8e315f2b17f0c8bf390bf967f02f5837 (patch) | |
tree | 5b31cb17c5f5c5b0b438ecfe40af2bf9730411d7 /run | |
parent | ffb2c74435ad0e313b7c33ae1f00f02824bb6fc0 (diff) |
Added buttons
Diffstat (limited to 'run')
-rwxr-xr-x | run | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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" |