| commit | 78d051f71e520e8b9be24ed7a100bf5a1effe650 | [log] [tgz] |
|---|---|---|
| author | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Jul 06 15:37:41 2016 +0200 |
| committer | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Jul 06 15:37:41 2016 +0200 |
| tree | 11264b780a88f00d00c7ee9bd25873f5ad88aca2 | |
| parent | 58cdc20d5c1d51c41fd45454b76b8601c8a7b52f [diff] |
Make sure that mingw32-make uses the correct shell