diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-16T16·15+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-16T16·15+0000 |
commit | c370755583d7350f4b96136eb0a6a8a7b08551b1 (patch) | |
tree | 6e42f14440963847a4b71a142b4ace2a2523b279 /src/libmain | |
parent | c05783ad67ee95b5dd76d160efedc23b3acb0905 (diff) |
* Flag `--no-build-hook' to disable distributed builds.
* queryDeriver in daemon mode: don't barf if the other side returns an empty string (which means there is no deriver).
Diffstat (limited to 'src/libmain')
-rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index a606f0dae339..09841e45befb 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -212,6 +212,8 @@ static void initAndRun(int argc, char * * argv) readOnlyMode = true; else if (arg == "--max-silent-time") maxSilentTime = getIntArg(arg, i, args.end()); + else if (arg == "--no-build-hook") + useBuildHook = false; else remaining.push_back(arg); } |