fix issue where bldr does not exit correctly

2023-04-28 14:10:41 -04:00 · 2023-04-28 14:10:41 -04:00 · e584463eb7
commit e584463eb7
parent ab928521f1
1 changed files with 2 additions and 0 deletions
--- a/tools/bldr
+++ b/tools/bldr
@ -109,6 +109,8 @@ case $1 in
 			clean_after_failed "$@"
 			exit 1
 		fi
+		printf "Finished.\n"
+		exit 0
 	;;
 	*)
 		usage_small "$@"