diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-12T11·08+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-11-12T11·08+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 7228fc19364d..19087f657d56 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; |