Make build.bat work regardless of your current directory, so you can invoke it from the root directory
Make build.bat work regardless of your current directory, so you can invoke it from the root directory

sdiehl/ghc,bgamari/shaking-up-ghc,snowleopard/shaking-up-ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,sdiehl/ghc,izgzhen/hadrian,snowleopard/hadrian,sdiehl/ghc,sdiehl/ghc