diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-25T15·36+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-25T15·36+0000 |
commit | b113edeab780216b0590045b932be685d1399e9b (patch) | |
tree | 32c0e6e0006c211b43f91aad8529cff6c424306d /src/libstore/globals.cc | |
parent | e4883211f9482ec3255bd4e682635493e03466ca (diff) |
* A flag `--keep-going / -k' to keep building goals if one fails, as
much as possible. (This is similar to GNU Make's `-k' flag.) * Refactoring to implement this: previously we just bombed out when a build failed, but now we have to clean up. In particular this means that goals must be freed quickly --- they shouldn't hang around until the worker exits. So the worker now maintains weak pointers in order not to prevent garbage collection. * Documented the `-k' and `-j' flags.
Diffstat (limited to 'src/libstore/globals.cc')
-rw-r--r-- | src/libstore/globals.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libstore/globals.cc b/src/libstore/globals.cc index e6105947f9ee..e7b32244b388 100644 --- a/src/libstore/globals.cc +++ b/src/libstore/globals.cc @@ -8,6 +8,8 @@ string nixDBPath = "/UNINIT"; bool keepFailed = false; +bool keepGoing = false; + Verbosity buildVerbosity = lvlDebug; unsigned int maxBuildJobs = 1; |