From c76ca6cd5c2595f8ba83f80d643f83514d73204c Mon Sep 17 00:00:00 2001
From: William Petit <wpetit@cadoles.com>
Date: Mon, 30 Mar 2020 11:35:08 +0200
Subject: [PATCH] Tamarin: fix packages copy

---
 resources/com/cadoles/tamarin/run-tamarin.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/resources/com/cadoles/tamarin/run-tamarin.sh b/resources/com/cadoles/tamarin/run-tamarin.sh
index 3d0833c..19de365 100644
--- a/resources/com/cadoles/tamarin/run-tamarin.sh
+++ b/resources/com/cadoles/tamarin/run-tamarin.sh
@@ -27,5 +27,7 @@ EOF
 DEST_DIR=${TAMARIN_DEST_DIR:-dist}
 mkdir -p ${DEST_DIR}
 for f in /dist/*; do
-    [ -e "$f" ] && cp "$f" ./${DEST_DIR}
+    if [ -e "$f" ]; then
+        cp "$f" ./${DEST_DIR}
+    fi
 done
\ No newline at end of file