[project @ 2000-12-20 13:40:08 by simonmar]
authorsimonmar <unknown>
Wed, 20 Dec 2000 13:40:08 +0000 (13:40 +0000)
committersimonmar <unknown>
Wed, 20 Dec 2000 13:40:08 +0000 (13:40 +0000)
commita7568f61b7b3dd1af469b16eca81d068bf0f1eb8
tree25c942f4540c4f9fb4104f3d052f127cc70ef764
parentd6c8392d00e8e9ce4bd4b52b55c07dc56b8a85db
[project @ 2000-12-20 13:40:08 by simonmar]
on second thoughts, -Rghc-timing should really go in config.mk.in.
ghc/compiler/Makefile
mk/config.mk.in