From 6b6d1407c84162cfd2e49f8c02daed367bb568db Mon Sep 17 00:00:00 2001 From: hallgren Date: Fri, 17 Dec 2010 16:47:25 +0000 Subject: [PATCH] Add -optimize-pgf to Makefile for Foods.pgf --- contrib/summerschool/foods/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/summerschool/foods/Makefile b/contrib/summerschool/foods/Makefile index 5f42041ae..5738bc281 100644 --- a/contrib/summerschool/foods/Makefile +++ b/contrib/summerschool/foods/Makefile @@ -2,7 +2,7 @@ all:: Foods.pgf Foods.pgf: Foods???.gf - gf -make -s Foods???.gf + gf -make -s -optimize-pgf Foods???.gf clean: rm -rf *.gfo Foods.pgf