diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-16 16:15:26 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-11-16 16:15:26 +0000 |
| commit | c370755583d7350f4b96136eb0a6a8a7b08551b1 (patch) | |
| tree | 6e42f14440963847a4b71a142b4ace2a2523b279 /src/libmain/shared.cc | |
| 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/shared.cc')
| -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 a606f0dae..09841e45b 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); } |