diff options
| author | hallgren <hallgren@chalmers.se> | 2010-12-17 16:47:25 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2010-12-17 16:47:25 +0000 |
| commit | e8e13a6315fe895a36f8a55bdfa291e08d10b07b (patch) | |
| tree | 902dbff1cc9bba8c669c568ac4a0478a1bf812d1 /contrib | |
| parent | 65b717c3627a027e17cfa5bee48ffd9aeb963180 (diff) | |
Add -optimize-pgf to Makefile for Foods.pgf
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/summerschool/foods/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |