diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-20 09:18:38 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-20 09:25:05 +0200 |
| commit | acbdc2c9608d0ae0d2ea73bf5f5034cdd719a6fd (patch) | |
| tree | f3b26b64af76779922daed0a72680d6ea34a6cbe /misc | |
| parent | 52a852da02a52e9275b3c15575946592d36992ef (diff) | |
| download | builder-acbdc2c9608d0ae0d2ea73bf5f5034cdd719a6fd.tar.xz | |
bin/build-packages: do not compile if already successful
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions