diff --git a/tools/env.sh b/tools/env.sh index f2de6462..ef286d38 100755 --- a/tools/env.sh +++ b/tools/env.sh @@ -10,9 +10,6 @@ export AR=x86_64-luna-ar export ASM=nasm export STRIP=x86_64-luna-strip -if ! command -v filter-lines >/dev/null -then unset filter-lines -fi filter-lines() { sed $'s|^|\x1b[32m('"$1/$2"$')\x1b[39m |'