commit | 299d4f3aaa801ee79920fadcb802ca51b0d639ec | [log] [download] |
---|---|---|
author | nicm <nicm> | Tue May 28 12:20:28 2019 +0000 |
committer | nicm <nicm> | Tue May 28 12:20:28 2019 +0000 |
tree | d13dfd154b2b26a0740d1b4db17cb1e1e1c6e271 | |
parent | 0ec410689c2ab265f7d9e94db3fcd09e8ff7ba60 [diff] |
Exit 1 correctly if source-file fails.