X-Git-Url: http://git.cielonegro.org/gitweb.cgi?p=Lucu.git;a=blobdiff_plain;f=GNUmakefile;fp=GNUmakefile;h=53a725153accef78955b56951450dd984cc0546d;hp=4bc0a42bc64f38a7b066068caabd5ca930ba2cae;hb=e10c97106e77114fb60bb4772319d8ca3e96cdbc;hpb=9ed4b7476710930bb537c71d0c2341d7ea331767

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