about summary refs log tree commit diff
path: root/src/libmain
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-11-12T11·08+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-11-12T11·08+0000
commita519bb063505a8d39e6b1e12f130d66771676e23 (patch)
tree409ae5b6acf3a63e8fe3b6669c2f452d4a8b8841 /src/libmain
parent96598e7b06dad0de082730cab8992eacc440e535 (diff)
* Some somewhat ad hoc mechanism to allow the build farm to monitor
  build progress.

Diffstat (limited to 'src/libmain')
-rw-r--r--src/libmain/shared.cc2
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;