chiark / gitweb /
makebuildserver: set debian mirror in config file only
authorHans-Christoph Steiner <hans@eds.org>
Fri, 22 Jan 2016 13:33:17 +0000 (14:33 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 26 Jan 2016 10:31:40 +0000 (11:31 +0100)
commit8d66742dd7feec77aa30382bfb38da83f2b3e5a4
treee5433f8d70040c8953ca2c96cacea098b340eb34
parent82e26cf59e69237f8d3b2b99c45f9ddb7ae13e47
makebuildserver: set debian mirror in config file only

Setting it in the config file was not working, and right now, all of the
options are in the config file and not as command line flags, so remove
--debian-mirror to keep that consistent.
makebuildserver