diff --git a/collects/drracket/drracket.rkt b/collects/drracket/drracket.rkt index 79a086b45b..14d41613f7 100644 --- a/collects/drracket/drracket.rkt +++ b/collects/drracket/drracket.rkt @@ -37,7 +37,7 @@ (flprintf "PLTDRDEBUG: enabling CM tracing\n") (manager-trace-handler (λ (x) - (when (regexp-match #rx"compiling" x) + (when (regexp-match #rx"compiling:|end compile:" x) (display "1: ") (display x) (newline) (flush-output))))))) (when install-cm? diff --git a/collects/framework/splash.rkt b/collects/framework/splash.rkt index 11ccb77fa3..979c0c3b1b 100644 --- a/collects/framework/splash.rkt +++ b/collects/framework/splash.rkt @@ -257,7 +257,7 @@ (printf "PLTDRCM/PLTDRDEBUG: reinstalling CM trace handler after setting splash load handler\n") (manager-trace-handler (λ (x) - (when (regexp-match #rx"compiling" x) + (when (regexp-match #rx"compiling:|end compile:" x) (display "2: ") (display x) (newline))))))) (define funny-gauge%