diff options
author | Erich Eckner <git@eckner.net> | 2018-09-03 10:31:52 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-03 10:31:52 +0200 |
commit | 7e1a38e5a342c2e25a2f2ab8e32ef326ce9c0b6e (patch) | |
tree | 1378101193e0b968a4f40532121293d0d1598051 /bin/get-assignment | |
parent | 620155ea8b1d3d4ec4d193fbc02421b1fca9730f (diff) | |
download | builder-7e1a38e5a342c2e25a2f2ab8e32ef326ce9c0b6e.tar.xz |
lib/load-configuration: check early for running mysqld, add a kill-switch /tmp/do-not-run-build-master
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions