Unfoldable Dispatcher

[Lucu.git] / GNUmakefile

diff --git a/GNUmakefile b/GNUmakefile
index 53a725153accef78955b56951450dd984cc0546d..4bc0a42bc64f38a7b066068caabd5ca930ba2cae 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -2,6 +2,5 @@ RUN_COMMAND = $(MAKE) -C examples run
 
 #CONFIGURE_ARGS = -O
 CONFIGURE_ARGS = -O -fssl
-#CONFIGURE_ARGS = -O -fssl --enable-executable-profiling
 
 include cabal-package.mk