diff options
Diffstat (limited to 'WebSetup.hs')
| -rw-r--r-- | WebSetup.hs | 2 |
1 files changed, 1 insertions, 1 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, |