| commit | f324690a7d9a810e3c1bd93aec7ae982de2b227f | [log] [tgz] |
|---|---|---|
| author | Nick Wellnhofer <wellnhofer@aevum.de> | Wed Jun 01 21:50:25 2016 +0200 |
| committer | Nick Wellnhofer <wellnhofer@aevum.de> | Thu Jun 02 00:04:27 2016 +0200 |
| tree | 81b68ad8f329b0c679ca0f05ed408e5d444d7dbd | |
| parent | c5387af383d317dcd887f9e07769c589039e099c [diff] |
Check whether the make command matches the OS shell