Speed on windows systems
Sorry, I know it's a known issue, but make is now really painfully slow.
Could we remove the dependency check for make install?
I see the issue for dependencies. How about:
- we ban the use of hg push
- instead we have a script that does three useful things
- runs the dependency check
- builds the grf, stopping on errors
- hg push if the first two steps passed ok.