diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-24 13:46:13 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-24 13:46:13 +0200 |
| commit | 9f16621f04457bca9ac720ed542fe4626d344a1f (patch) | |
| tree | 3fc4cb98b2baea554b38eb12a7ea308489fbf9bb /bin/sanity-check | |
| parent | 62ae0182ea898f88445d9402010c3e0d9194d0f5 (diff) | |
| download | builder-9f16621f04457bca9ac720ed542fe4626d344a1f.tar.xz | |
bin/build-packages, bin/get-assignment: add options to prefer a build order
Diffstat (limited to 'bin/sanity-check')
0 files changed, 0 insertions, 0 deletions