no need to unset filter-lines

2022-10-24 20:48:57 +02:00 · 2022-10-24 20:48:57 +02:00 · 1716a81e82
commit 1716a81e82
parent b17ff6319a
1 changed files with 0 additions and 3 deletions
--- 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 |'