diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-05 13:35:48 +0200 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-05 15:52:21 +0200 |
| commit | 4d15e451c95220f682e262d125ef3fba38ac44ed (patch) | |
| tree | f4e4386b4c23039c4654f8eca20b3b94a80959ca /scripts/sed | |
| parent | e487421e991f8c9c61f61be4188ab42c8dba6706 (diff) | |
gnu sed no longer required, will be build as hosttool
Diffstat (limited to 'scripts/sed')
| -rwxr-xr-x | scripts/sed | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/sed b/scripts/sed deleted file mode 100755 index 36cfdbfa7..000000000 --- a/scripts/sed +++ /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 gsed 2>/dev/null)" ];then - /bin/sed "$@" -else - gsed "$@" -fi |