diff options
| author | Andrew Waterman | 2019-08-13 07:52:44 -0700 |
|---|---|---|
| committer | Adam Izraelevitz | 2019-08-13 07:52:44 -0700 |
| commit | 0f6b9615213a2a9770974ff71b3da3f6b770a772 (patch) | |
| tree | 4587fb455be710c0b8409009589d5d3452ceebd7 /scripts | |
| parent | f08f8dbb3c480220f92923a7f3242fcbb644b65e (diff) | |
Make "build" the default make target rather than "clean" (#1152)
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions