scripts/make

   1 #!/usr/bin/env bash
   2 # This file is part of the OpenADK project. OpenADK is copyrighted
   3 # material, please see the LICENCE file in the top-level directory.
   4
   5 if [ -z "$(which gmake 2>/dev/null)" ];then
   6         /usr/bin/make "$@"
   7 else
   8         gmake "$@"
   9 fi