1#!/usr/bin/env bash 2 3MAKE=make 4 5# Use gmake (GNU make) in macOS 6if [[ -f "$(which gmake)" ]]; then 7 MAKE=gmake 8fi 9 10${MAKE} check 11