Add option to choose make command #63

wants to merge 1 commit into


None yet
2 participants

Kernald commented Feb 19, 2013

As not every system uses GNU make as default (see #60, it's the only issue with FreeBSD), add an option (--make-command, -c, [build]/make-command) to let the user choose the command to use. Still defaults as make.


nkrkv commented Sep 24, 2013

Fixed in 0.3.6

@nkrkv nkrkv closed this Sep 24, 2013

@Kernald Kernald deleted the Kernald:make-command-option branch Sep 24, 2013

damienstuart added a commit to damienstuart/ino that referenced this pull request Oct 27, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment