don't dump cpu timing by default.

diff --git a/scm/lily.scm b/scm/lily.scm
index ce1936fd9089a1cb914a06952623f5dae474438c..6f2f09d2e6f5ed67475f926c4a8b71c0b9fe0ddf 100644 (file)
--- a/scm/lily.scm
+++ b/scm/lily.scm
@@ -40,7 +40,8 @@ ensure that all refs to parsed objects are dead.  This is an internal option, an
     (debug-skylines #f "debug skylines")
     (delete-intermediate-files #f
                               "delete unusable PostScript files")
-    (dump-profile #f "dump timing information for each file")
+    (dump-profile #f "dump memory and time information for each file")
+    (dump-cpu-profile #f "dump timing information (system-dependent)")
     (dump-signatures #f "dump output signatures of each system.  Used for regression testing.")
     
     (eps-box-padding #f "Pad EPS bounding box left edge.  Guarantee alignment between systems in LaTeX.")
@@ -415,7 +416,9 @@ The syntax is the same as `define*-public'."
     (ly:progress "\nWriting timing to ~a..." outname)
     (format (open-file outname "w")
            "time: ~a\ncells: ~a\n"
-           (car diff)
+           (if (ly:option 'dump-cpu-profile)
+               (car diff)
+               0)
            (cadr diff)
            )))