From badcd3b50a4c94e74c7739080d9bda968fce8c52 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 28 Jun 2004 17:51:48 +0000 Subject: [PATCH] . original commit: cc767a27657965f8d2d7908c2647e83b3b30b120 --- collects/framework/splash.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/framework/splash.ss b/collects/framework/splash.ss index 6e86dd92..ff33d0e1 100644 --- a/collects/framework/splash.ss +++ b/collects/framework/splash.ss @@ -100,8 +100,8 @@ (old-load f expected))) (let ([addl-load-handler - (and (not (getenv "PLTDRDEBUG")) - (getenv "PLTDRCM") + (and (or (getenv "PLTDRDEBUG") + (getenv "PLTDRCM")) (parameterize ([current-namespace (make-namespace)]) (dynamic-require '(lib "cm.ss") 'make-compilation-manager-load/use-compiled-handler)))]) (current-load @@ -112,7 +112,7 @@ ;; abstraction breaking -- matthew will change cm ;; so that I don't need this here(?). (when addl-load-handler - (printf "PLTDRCM: reinstalling CM load handler after setting splash load handler\n") + (printf "PLTDRCM/PLTDRDEBUG: reinstalling CM load handler after setting splash load handler\n") (current-load/use-compiled (addl-load-handler)))) (define funny-gauge%