tree 81b68ad8f329b0c679ca0f05ed408e5d444d7dbd
parent c5387af383d317dcd887f9e07769c589039e099c
author Nick Wellnhofer <wellnhofer@aevum.de> 1464810625 +0200
committer Nick Wellnhofer <wellnhofer@aevum.de> 1464818667 +0200

Check whether the make command matches the OS shell