make -N --raw --batch the default arguments to mysql, explicitely override them if required - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-03-07 16:30:10 +0100
committer	Erich Eckner <git@eckner.net>	2018-03-07 16:30:10 +0100
commit	a13bfbacf27d09f7c8ea6b4b559b0980ee8957b9 (patch)
tree	d541a117c6cf4b18cd363b54702abde1d679e136 /bin/prioritize-build-list
parent	98c468dee44e09a27c89019c3d8c584efe0bf1c0 (diff)

make -N --raw --batch the default arguments to mysql, explicitely override them if required

Diffstat (limited to 'bin/prioritize-build-list')

0 files changed, 0 insertions, 0 deletions