Do a make clean on update

Changed spaces to tabs
2007-11-24 18:51:24 -06:00 · 2007-11-24 18:51:24 -06:00 · f26a656937
parent e9e26039b2
commit f26a656937
1 changed files with 126 additions and 120 deletions
--- a/misc/factor.sh
+++ b/misc/factor.sh
@ -145,8 +145,13 @@ cd_factor() {
 	check_ret cd
 }

+make_clean() {
+	make clean
+	check_ret make
+}
+
 make_factor() {
-    make $MAKE_TARGET
+	make $MAKE_TARGET -j5
 	check_ret make
 }

@ -197,6 +202,7 @@ case "$1" in
 		check_installed_programs
 		find_build_info
 		git_pull_factorcode
+		make_clean
 		make_factor
 		delete_boot_images
 		get_boot_image