@echo off
bash -c "make %*"