Robert Pluim
2018-04-10 09:04:04 UTC
branch: master
commit 83a6224d607c645cadbe371c921928166da0aef0
make-dist: check exit statuses more carefully
* make-dist: Do a better job checking for subprocess failure.
Would 'set -e' not be easier?commit 83a6224d607c645cadbe371c921928166da0aef0
make-dist: check exit statuses more carefully
* make-dist: Do a better job checking for subprocess failure.
Robert