From 1716a81e822fa019a7438d7efefc752ed26cb282 Mon Sep 17 00:00:00 2001
From: apio <blobs.trading@gmail.com>
Date: Mon, 24 Oct 2022 20:48:57 +0200
Subject: [PATCH] no need to unset filter-lines

---
 tools/env.sh | 3 ---
 1 file changed, 3 deletions(-)

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 |'