From 3b8bec7522d6849b63a86165dabce127f2226c8d Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Thu, 22 Dec 2022 19:02:48 -1000 Subject: [PATCH] dev: make; comment out unused breakpoint plugin --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a96d9c499..22292ea3c 100644 --- a/Makefile +++ b/Makefile @@ -225,7 +225,7 @@ BUILDFLAGS=\ $(GHCLOWMEMFLAGS) $(CABALMACROSFLAGS) \ -DDEVELOPMENT \ -DVERSION="\"$(VERSION)\"" \ - -fplugin Debug.Breakpoint \ +# -fplugin Debug.Breakpoint \ # -fhide-source-paths \ # PROFBUILDFLAGS:=-prof -fprof-auto -osuf hs_p