Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

tools: more portable shell test

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

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2021-08-25 17:21:08 +10:00
committed by Gerwin Klein
parent 00879fa943
commit 7892335ca1
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tools/kernel_pylint.sh
View File

@@ -6,12 +6,12 @@
# #
python_sources=$(find ../tools ../manual/tools ../libsel4/tools -name '*.py') 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" echo "Unable to find python source files"
exit 1 exit 1
fi fi
pylintrc=$(find . -name 'pylintrc') pylintrc=$(find . -name 'pylintrc')
if [[ -z $pylintrc ]]; then if [ -z "$pylintrc" ]; then
echo "Unable to find pylintrc" echo "Unable to find pylintrc"
exit 1 exit 1
fi fi

4
tools/kernel_xmllint.sh
View File

@@ -6,13 +6,13 @@
# #
xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml') 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" echo "Unable to find sel4arch.xml files"
exit 1 exit 1
fi fi
idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd') 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" echo "Unable to find sel4_idl.dtd"
exit 1 exit 1
fi fi