From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 21 Mar 2024 20:11:37 +0000 (-0700)
Subject: build-pspp: Improve build failure handling.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=98339e6ab30102202c039265bd3d1b310ab4c05e;p=pspp

build-pspp: Improve build failure handling.
---

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")