From 9e23c25e283c551d84913994b5d54a7fcd460aa7 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Thu, 29 Apr 2004 08:22:32 +0000
Subject: *** empty log message ***

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 899152df7..d083ecaf3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -46,7 +46,7 @@ shell:
 clean: 
 	rm -rf */*.o */*.hi *.o *.hi */*.ghi *.ghi *~ */*~
 hugs:
-	hugs -E"open -a emacs" -P$(HUGSINCLUDE)
+	hugs -h10M -P$(HUGSINCLUDE)
 ghci-nofud:
 	$(GHCI) $(GHCFLAGS) $(GHCINCLUDENOFUD)
 today:
-- 
cgit v1.2.3