aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorCalvin Rose <calsrose@gmail.com>2020-08-03 17:37:17 -0500
committerCalvin Rose <calsrose@gmail.com>2020-08-03 17:41:16 -0500
commit6d859dec67d205b4face142b6f92888576e7b6dc (patch)
tree41f23a9145a6cbf8b22be4b0dc017733ff304984
parentAdd -fPIC to default cflags when building boot image. (diff)
Exit with error code if jpm install fails.
-rwxr-xr-xjpm2
1 files changed, 1 insertions, 1 deletions
diff --git a/jpm b/jpm
index 219f4019..104922e5 100755
--- a/jpm
+++ b/jpm
@@ -761,7 +761,7 @@ int main(int argc, const char **argv) {
(unless no-deps (do-rule "install-deps"))
(do-rule "build")
(do-rule "install"))
- ([err] (print "Error building git repository dependency: " err)))
+ ([err f] (print "Error building git repository dependency: " err) (propagate err f)))
(os/cd olddir))
(defn install-rule