diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-12 11:08:27 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-12 11:08:27 +0000 |
| commit | a519bb063505a8d39e6b1e12f130d66771676e23 (patch) | |
| tree | 409ae5b6acf3a63e8fe3b6669c2f452d4a8b8841 /src/libstore/globals.cc | |
| parent | 96598e7b06dad0de082730cab8992eacc440e535 (diff) | |
* Some somewhat ad hoc mechanism to allow the build farm to monitor
build progress.
Diffstat (limited to 'src/libstore/globals.cc')
| -rw-r--r-- | src/libstore/globals.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libstore/globals.cc b/src/libstore/globals.cc index 7228fc193..19087f657 100644 --- a/src/libstore/globals.cc +++ b/src/libstore/globals.cc @@ -28,6 +28,7 @@ string thisSystem = "unset"; unsigned int maxSilentTime = 0; Paths substituters; bool useBuildHook = true; +bool printBuildTrace = false; static bool settingsRead = false; |