diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-25 15:36:09 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2004-06-25 15:36:09 +0000 |
| commit | b113edeab780216b0590045b932be685d1399e9b (patch) | |
| tree | 32c0e6e0006c211b43f91aad8529cff6c424306d /src/libstore/globals.hh | |
| 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.hh')
| -rw-r--r-- | src/libstore/globals.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index 020a7135b..cef4f704e 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -29,6 +29,10 @@ extern string nixDBPath; /* Whether to keep temporary directories of failed builds. */ extern bool keepFailed; +/* Whether to keep building subgoals when a sibling (another subgoal + of the same goal) fails. */ +extern bool keepGoing; + /* Verbosity level for build output. */ extern Verbosity buildVerbosity; |