diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2010-05-02 15:16:53 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2010-05-02 15:16:53 +0200 |
| commit | 52e140f2fe6633c248438416c9c0ff5d2e015ee1 (patch) | |
| tree | ef3124a808d9587e1a5d9382573f36bbbbea8267 /archrm | |
| parent | 48dead1af7cff7efc12f955775ee9858399a3321 (diff) | |
| download | devtools-52e140f2fe6633c248438416c9c0ff5d2e015ee1.tar.gz devtools-52e140f2fe6633c248438416c9c0ff5d2e015ee1.tar.xz | |
exit 1 on build failure
Diffstat (limited to 'archrm')
0 files changed, 0 insertions, 0 deletions