1
0

make 240 B

123456789
  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. if [ -z "$(which gmake 2>/dev/null)" ];then
  5. /usr/bin/make "$@"
  6. else
  7. gmake "$@"
  8. fi