about summary refs log tree commit diff
path: root/src/libmain/common-args.cc
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-10-24T09·00+0200
committerEelco Dolstra <edolstra@gmail.com>2017-10-24T09·00+0200
commit25f32625e2f2a3a1e1b3a3811da82f21c3a3b880 (patch)
tree7538d1574f2a3fe30a68ff278975a271fd75c755 /src/libmain/common-args.cc
parentaf241ae7d3d2a9975d43c9137806a6ffcb96e95b (diff)
Remove the remote-builds option
This is superfluous since you can now just set "builders" to empty,
e.g. "--builders ''".
Diffstat (limited to 'src/libmain/common-args.cc')
0 files changed, 0 insertions, 0 deletions