test_lib.sh: use only one find

Alidra · May 3, 2024 · 2c545d9 · 2c545d9
1 parent 3eb58a2
commit 2c545d9
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/test_lib.sh b/tests/test_lib.sh
@@ -16,12 +16,11 @@ checkout_lib() {
     if [ -d "$repo_path" ] ; then
         rm -fr "$repo_path"
     fi
-
     git clone $1 $repo_path
 }
 
 test_lib() {
-    for f in $(find $1 -name *.lp)  $(find $1 -name *.dk)
+    for f in $(find $1 -name '*.lp' -o -name '*.dk')
     do
         echo lambdapi check $options $f ...
         $lambdapi "$f" > $out 2>&1 || (cat $out; exit 1)