aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2017-05-11 13:42:01 -0400
committerRob Austein <sra@hactrn.net>2017-05-11 13:42:01 -0400
commitc2c1a714963fb19390cdeb08f4dc242df14aa60d (patch)
tree64f3283659887f6b54cdbf2f787d719d7a2c2dde /.gitignore
parentdd5950077b622a72a1bd04df092804a10c108d8c (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 '.gitignore')
0 files changed, 0 insertions, 0 deletions