tree 11264b780a88f00d00c7ee9bd25873f5ad88aca2
parent 58cdc20d5c1d51c41fd45454b76b8601c8a7b52f
author Nick Wellnhofer <wellnhofer@aevum.de> 1467812261 +0200
committer Nick Wellnhofer <wellnhofer@aevum.de> 1467812261 +0200

Make sure that mingw32-make uses the correct shell