*** empty log message ***

2004-04-29 08:22:32 +00:00
1 parent 51da7e3c0f
commit 9e23c25e28
@@ -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: