diff options
Diffstat (limited to 'scripts/m4')
-rwxr-xr-x | scripts/m4 | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/m4 b/scripts/m4 deleted file mode 100755 index 8456bce21..000000000 --- a/scripts/m4 +++ /dev/null @@ -1,9 +0,0 @@ -#!/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 gm4 2>/dev/null)" ];then - /usr/bin/m4 "$@" -else - gm4 "$@" -fi |