Re: [PATCH] make.sh: Clarify options need to come before the actual command