From d9b9e809e49fda25b5e4f412a71cfc0eb6bbbfa1 Mon Sep 17 00:00:00 2001 From: Doug Coleman Date: Sat, 4 May 2024 10:47:07 -0500 Subject: [PATCH] build: add a make clean target, delete overlooked factor binary in make clean --- GNUmakefile | 1 + build.sh | 2 ++ 2 files changed, 3 insertions(+) diff --git a/GNUmakefile b/GNUmakefile index 36d83ef5d1..965df0a07c 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -284,6 +284,7 @@ endif clean: rm -f vm/*.gch rm -f vm/*.o + rm -f factor rm -f factor.dll rm -f factor.lib rm -f factor.dll.lib diff --git a/build.sh b/build.sh index f8a3c5090f..2bff2659bf 100755 --- a/build.sh +++ b/build.sh @@ -762,6 +762,7 @@ usage() { $ECHO " self-update - git pull, recompile, make local boot image, bootstrap" $ECHO " quick-update - git pull, refresh-all, save" $ECHO " update|latest - git pull, recompile, download a boot image, bootstrap" + $ECHO " clean - run make clean" $ECHO " compile - compile the binary" $ECHO " recompile - recompile the binary" $ECHO " bootstrap - bootstrap with existing boot image" @@ -805,6 +806,7 @@ case "$1" in self-update) update; make_boot_image; bootstrap ;; quick-update) update; refresh_image ;; update|latest) update; download_and_bootstrap ;; + clean) find_build_info; make_clean ;; compile) find_build_info; make_factor ;; recompile) find_build_info; make_clean; make_factor ;; bootstrap) get_config_info; bootstrap ;; -- 2.34.1