fixed
This commit is contained in:
parent
0a652440ae
commit
1f040ad058
1 changed files with 2 additions and 0 deletions
|
@ -18,3 +18,5 @@ index 9f312dc..4a74e71 100644
|
||||||
ifdef PROFILE
|
ifdef PROFILE
|
||||||
GHCFLAGS=-prof -auto-all -rtsopts -caf-all -fforce-recomp $(BASEFLAGS) $(FEATURES) $(OPTFLAGS)
|
GHCFLAGS=-prof -auto-all -rtsopts -caf-all -fforce-recomp $(BASEFLAGS) $(FEATURES) $(OPTFLAGS)
|
||||||
</pre>
|
</pre>
|
||||||
|
|
||||||
|
> [[done]] --[[Joey]]
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue