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