diff options
| author | Rob Austein <sra@hactrn.net> | 2017-05-11 13:42:01 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2017-05-11 13:42:01 -0400 |
| commit | c2c1a714963fb19390cdeb08f4dc242df14aa60d (patch) | |
| tree | 64f3283659887f6b54cdbf2f787d719d7a2c2dde /core | |
| parent | dd5950077b622a72a1bd04df092804a10c108d8c (diff) | |
Fix --conflicts inconsistency between build scripts and Makefile.
scripts/build-*.py were treating --conflicts as a sequence of
arguments while Makefile was treating as a single argument whose value
might contain whitespace. No big deal either way for the scripts, and
Makefile is complicated enough, so go with Makefile's approach.
Add some pedantic quoting to Makefile while we're at this, out of
general paranoia and because the inconsistencies were puzzling.
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions