Makefile: can handle a make command with spaces
Merge branch 'master' of https://github.com/sebgod/shift-reduce
build.cmd: using MAKE environment variable to execute the GNU make executable