From 7892335ca1884e51f560e9a9cce8881ec70dee96 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Wed, 25 Aug 2021 17:21:08 +1000
Subject: [PATCH] tools: more portable shell test

No need for bash style test `[[ .. ]]`, normal POSIX test `[ .. ]`
works fine.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 tools/kernel_pylint.sh  | 4 ++--
 tools/kernel_xmllint.sh | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/tools/kernel_pylint.sh b/tools/kernel_pylint.sh
index 7b683b973..d24f82bde 100755
--- a/tools/kernel_pylint.sh
+++ b/tools/kernel_pylint.sh
@@ -6,12 +6,12 @@
 #
 
 python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py')
-if [[ -z $python_sources ]]; then
+if [ -z "$python_sources" ]; then
     echo "Unable to find python source files"
     exit 1
 fi
 pylintrc=$(find . -name 'pylintrc')
-if [[ -z $pylintrc ]]; then
+if [ -z "$pylintrc" ]; then
     echo "Unable to find pylintrc"
     exit 1
 fi
diff --git a/tools/kernel_xmllint.sh b/tools/kernel_xmllint.sh
index fb09925e5..226dd2168 100755
--- a/tools/kernel_xmllint.sh
+++ b/tools/kernel_xmllint.sh
@@ -6,13 +6,13 @@
 #
 
 xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml')
-if [[ -z $xml_sources ]]; then
+if [ -z "$xml_sources" ]; then
     echo "Unable to find sel4arch.xml files"
     exit 1
 fi
 
 idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd')
-if [[ -z $idl_source ]]; then
+if [ -z "$idl_source" ]; then
     echo "Unable to find sel4_idl.dtd"
     exit 1
 fi