diff options
| author |  Joey Hess <joey@kitenet.net> | 2012-07-26 13:02:00 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2012-07-26 13:02:00 -0400 |
| commit | 8e49206af5bed49999c0b2d55b17cd32b1ef666e (patch) | |
| tree | 70f361fdb15f37dd3dec5b4654112fdf116fe19c /Makefile | |
| parent | 2f775ef3e3aaea9ab15f99db3a48390a903919ae (diff) | |
fix normal build to include OPTFLAGS
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ endif endif PREFIX=/usr -GHCFLAGS=-O2 $(BASEFLAGS) $(FEATURES) +GHCFLAGS=-O2 $(BASEFLAGS) $(FEATURES) $(OPTFLAGS) ifdef PROFILE GHCFLAGS=-prof -auto-all -rtsopts -caf-all -fforce-recomp $(BASEFLAGS) $(FEATURES) $(OPTFLAGS) |