#!/usr/bin/env bash
# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.

if [ -z "$(which gmake 2>/dev/null)" ];then
	/usr/bin/make "$@"
else
	gmake "$@"
fi