changeset 1:3d8102358d9c default tip

fix makefile
author Daichi TOMA <toma@cr.ie.u-ryukyu.ac.jp>
date Tue, 11 Feb 2014 19:14:33 +0900
parents 62ce408561ac
children
files Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Tue Feb 11 19:13:31 2014 +0900
+++ b/Makefile	Tue Feb 11 19:14:33 2014 +0900
@@ -2,7 +2,7 @@
 RCPUS = 12
 
 default: hello
-	./hello +RTS -K1G -N$(RCPUS)
+	./hello +RTS -N$(RCPUS) -qa -A32m 
 
 hello: *.hs
 	ghc -O2 hello.hs -rtsopts -threaded