Re: [PATCH] attempt to make make.sh more shellcheck compliant