Turn off dtrace unless you override USE_DTRACE
[ghc.git] / mk / config.mk.in
index 3fc0853..c4a0229 100644 (file)
@@ -619,6 +619,9 @@ TR                  = tr
 SHELL                  = /bin/sh
 
 HaveDtrace             = @HaveDtrace@
+# There are problems with dtrace on 64bit 10.5. For now at least, we
+# just turn dtrace off unless you override USE_DTRACE
+USE_DTRACE = NO
 DTRACE                 = @DtraceCmd@
 
 LD = @LdCmd@