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/libmain/shared.cc | |
| parent | 96598e7b06dad0de082730cab8992eacc440e535 (diff) | |
* Some somewhat ad hoc mechanism to allow the build farm to monitor
build progress.
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 4725d1ed1047..dee9a5320cc8 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -220,6 +220,8 @@ static void initAndRun(int argc, char * * argv) ; /* !!! obsolete - remove eventually */ else if (arg == "--no-build-output" || arg == "-Q") buildVerbosity = lvlVomit; + else if (arg == "--print-build-trace") + printBuildTrace = true; else if (arg == "--help") { printHelp(); return; |