From e584463eb7dc2fc39133693cf9c851b2068c58b6 Mon Sep 17 00:00:00 2001 From: Liam Waldron Date: Fri, 28 Apr 2023 14:10:41 -0400 Subject: [PATCH] fix issue where bldr does not exit correctly --- tools/bldr | 2 ++ 1 file changed, 2 insertions(+) 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 "$@"