[project @ 1998-05-15 09:42:55 by simonm]
authorsimonm <unknown>
Fri, 15 May 1998 09:42:55 +0000 (09:42 +0000)
committersimonm <unknown>
Fri, 15 May 1998 09:42:55 +0000 (09:42 +0000)
commitd18f290240ceaa1e6686111d790bb552aae0e167
tree6a00fc64633d83653d7264f5838008d88a4e46fc
parentffd7f3b5bcc0eee78e1f3331dc39eace7550fa27
[project @ 1998-05-15 09:42:55 by simonm]
- remove $opt_UnfoldingUseThreshold, it's a per-compilation flag now
  (not per-simplification)

- pass through all -funfolding-.* flags, so we can get at the rest
ghc/driver/ghc.lprl