diff options
author | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-05 10:10:45 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-05 10:10:54 +0200 |
commit | a1b3cc3671e200db1b7fbcf359fce4f031ffc343 (patch) | |
tree | 9821a6c13577b6850532ca960499b59191ef2216 /scripts/awk | |
parent | 40640bbdac9f56c634d1bdf9e4e7be45a140f5a3 (diff) |
gnu awk will be build, when not found
Diffstat (limited to 'scripts/awk')
-rwxr-xr-x | scripts/awk | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/awk b/scripts/awk deleted file mode 100755 index ff6f9b002..000000000 --- a/scripts/awk +++ /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 gawk 2>/dev/null)" ];then - /bin/awk "$@" -else - gawk "$@" -fi |