3 Commits

Author SHA1 Message Date
34dd5eec25 Git: fetch before checkout'ing a branch 2018-08-17 12:55:37 +02:00
e6d300a219 Benchmark submodule checkout after libs update
Otherwise on Darwin make update will switch it
back to master.
2018-08-17 12:16:59 +02:00
36be4df607 Rename bundle-linux.sh and bundle-windows.bat → bundle.{sh,bat}
The shell script is also used by macOS and Windows builds, so calling it
'linux' is a bit silly.
2018-08-17 11:52:10 +02:00