diff options
| author | 2020-08-03 17:37:17 -0500 | |
|---|---|---|
| committer | 2020-08-03 17:41:16 -0500 | |
| commit | 6d859dec67d205b4face142b6f92888576e7b6dc (patch) | |
| tree | 41f23a9145a6cbf8b22be4b0dc017733ff304984 | |
| parent | Add -fPIC to default cflags when building boot image. (diff) | |
Exit with error code if jpm install fails.
| -rwxr-xr-x | jpm | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |
