diff --git a/collects/drracket/drracket.rkt b/collects/drracket/drracket.rkt index 669521fd0f..79a086b45b 100644 --- a/collects/drracket/drracket.rkt +++ b/collects/drracket/drracket.rkt @@ -36,7 +36,9 @@ (when cm-trace? (flprintf "PLTDRDEBUG: enabling CM tracing\n") (manager-trace-handler - (λ (x) (display "1: ") (display x) (newline) (flush-output)))))) + (λ (x) + (when (regexp-match #rx"compiling" x) + (display "1: ") (display x) (newline) (flush-output))))))) (when install-cm? (flprintf "PLTDRCM: installing compilation manager\n") @@ -50,7 +52,9 @@ (when cm-trace? (flprintf "PLTDRCM: enabling CM tracing\n") (manager-trace-handler - (λ (x) (display "1: ") (display x) (newline) (flush-output)))))) + (λ (x) + (when (regexp-match #rx"compiling" x) + (display "1: ") (display x) (newline) (flush-output))))))) (when profiling? (flprintf "PLTDRPROFILE: installing profiler\n") diff --git a/collects/framework/splash.rkt b/collects/framework/splash.rkt index 3edea6e37b..016b149a57 100644 --- a/collects/framework/splash.rkt +++ b/collects/framework/splash.rkt @@ -220,7 +220,9 @@ (equal? (getenv "PLTDRDEBUG") "trace")) (printf "PLTDRCM/PLTDRDEBUG: reinstalling CM trace handler after setting splash load handler\n") (manager-trace-handler - (λ (x) (display "2: ") (display x) (newline)))))) + (λ (x) + (when (regexp-match #rx"compiling" x) + (display "2: ") (display x) (newline))))))) (define funny-gauge% (class canvas%