diff --git a/tools/bldr b/tools/bldr index d7597c1..ea13a60 100755 --- 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 "$@"