From 4d15e451c95220f682e262d125ef3fba38ac44ed Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Mon, 5 May 2014 13:35:48 +0200 Subject: gnu sed no longer required, will be build as hosttool --- scripts/sed | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 scripts/sed (limited to 'scripts/sed') 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 -- cgit v1.2.3