From 98339e6ab30102202c039265bd3d1b310ab4c05e Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 21 Mar 2024 13:11:37 -0700 Subject: [PATCH] build-pspp: Improve build failure handling. --- build-pspp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/build-pspp b/build-pspp index 09a0e89c37..b449a5c89c 100755 --- a/build-pspp +++ b/build-pspp @@ -117,6 +117,7 @@ def write_timing(id, time): def fail(): + set_var("result", "failure") sys.stderr.write("Build failed, refer to:\n\t%s\nfor details.\n" % logfile) sys.exit(1) @@ -414,7 +415,7 @@ if len(args) == 2: if gnulib_commit is None: sys.stderr.write("%s does not specify a Git commit number\n" % fullname) - sys.exit(1) + fail() set_var("gnulib_commit", gnulib_commit) version = add_commit_to_version("pspp", revision, "pspp", @@ -586,3 +587,4 @@ if build_binary: # distcleancheck start_step("Success") +set_var("result", "success") -- 2.30.2