From 3eced95ce4eac98d3aba6236e5b5a2d799826cc7 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 21 Apr 2006 15:20:03 +0000 Subject: [PATCH] PeacePhrase_Fin ; -p in resource Makefile --- resource-1.0/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index daba50c73..0529751b5 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -14,7 +14,7 @@ pretest: echo "gr -cat=Cl -number=11 -prob | tb" | $(GF) -probs=lang.gfprob -path=present:prelude -nocf ../present/Lang???.gfc langs: - echo "s ;; pm | wf langs.gfcm" | $(GF) -nocf -src */Lang??*.gf english/LangEng.gf +RTS -p -M800M -K100M + echo "s ;; pm | wf langs.gfcm" | $(GF) -nocf -src */Lang??*.gf english/LangEng.gf +RTS -M800M -K100M cp -p */*.gfc */*.gfr ../alltenses present: