From 3db342e89734fb90c3d4081560214d2ecbd93eec Mon Sep 17 00:00:00 2001
From: apio <blobs.trading@gmail.com>
Date: Sun, 23 Oct 2022 20:07:26 +0200
Subject: [PATCH] tools: only unset filter-lines if it is not set

---
 tools/env.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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