Make sync-all work with the GitHub mirror over HTTPS
[ghc-hetmet.git] / rules / prof.mk
2011-01-23 Ian LynaghAdd build system profiling to build system