diff options
| -rw-r--r-- | WebSetup.hs | 2 | ||||
| -rw-r--r-- | examples/foods/Makefile | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/WebSetup.hs b/WebSetup.hs index 629d34327..0f2d24b7d 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -48,7 +48,7 @@ buildWeb gf (flags,pkg,lbi) = where tmp_dir = gfo_dir</>subdir dir = "examples"</>subdir - args = numJobs flags++["-make","-s","-optimize-pgf"] + args = numJobs flags++["-make","-s"] -- ,"-optimize-pgf" ++["--gfo-dir="++tmp_dir, "--gf-lib-path="++buildDir lbi </> "rgl", "--name="++dropExtension pgf, diff --git a/examples/foods/Makefile b/examples/foods/Makefile index 5738bc281..5f42041ae 100644 --- a/examples/foods/Makefile +++ b/examples/foods/Makefile @@ -2,7 +2,7 @@ all:: Foods.pgf Foods.pgf: Foods???.gf - gf -make -s -optimize-pgf Foods???.gf + gf -make -s Foods???.gf clean: rm -rf *.gfo Foods.pgf |