From 1a35ff1d8f954f9e1406354083ce9270f5205d39 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zolt=C3=A1n=20Kov=C3=A1cs?= <kovzol@gmail.com>
Date: Mon, 6 Jan 2025 13:35:33 +0100
Subject: [PATCH] Beautify output

---
 statements/tests/runme-graphviz | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/statements/tests/runme-graphviz b/statements/tests/runme-graphviz
index 434e24c..b0d2eb5 100755
--- a/statements/tests/runme-graphviz
+++ b/statements/tests/runme-graphviz
@@ -13,9 +13,11 @@ for i in $FILES; do
  n=$((n+1))
  echo -n -e "\r$i ($n/$F_NO)\033[0K"
  ../pbrst-cli -g $i > $i.dot
- dot -Tsvg $i.dot > $i.svg
- echo "<img src=$i.svg><br>" >> $HTML
+ test -s $i.dot && {
+  dot -Tsvg $i.dot > $i.svg
+  echo "<img src=$i.svg><br>" >> $HTML
+ }
  done
-echo
+echo -e "\rDone.\033[0K"
 
 echo "</center></body></html>" >> $HTML