Use Git server (mirror) to avoid fetching problems
[alexxy/gromacs.git] / admin / GerritBuild.bat
1 mkdir releng
2 cd releng
3 git init && git fetch git://git.gromacs.org/releng.git refs/heads/4.5.0 && git checkout -q -f FETCH_HEAD && cd .. && python -u releng/GerritBuild.py