tools: only unset filter-lines if it is not set

2022-10-23 20:07:26 +02:00 · 2022-10-23 20:07:26 +02:00 · 3db342e897
commit 3db342e897
parent 2d807e3ca5
1 changed files with 3 additions and 1 deletions
--- 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 |'