From a501ef438acfb88bf822ea12e1fdd586e8e1baaf Mon Sep 17 00:00:00 2001
From: Louis Burda <quent.burda@gmail.com>
Date: Thu, 8 Jul 2021 16:38:54 +0200
Subject: use usual random ids for modelname and solidname in havoc 15, various
 smaller fixes

---
 checker/src/models/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'checker/src/models/build.sh')

diff --git a/checker/src/models/build.sh b/checker/src/models/build.sh
index 7d41728..0cbfd24 100644
--- a/checker/src/models/build.sh
+++ b/checker/src/models/build.sh
@@ -1,13 +1,13 @@
 #!/bin/sh
 
 gen() {
-	output=$(openscad --export-format $1 $2 -o $3 2>&1)
+	output=$(openscad --export-format "$1" "$2" -o "$3" 2>&1)
 	if [ $? -ne 0 ]; then
 		echo "OPENSCAD LOG:"
 		echo "$output"
 		exit 1
 	fi
-	size=$(($(cat $3 | wc -c)))
+	size=$(($(cat "$3" | wc -c)))
 	printf "GEN %-20s: " "$3"
 	if [ $size -ge 50000 ]; then
 		echo "skipped (too large)"
-- 
cgit v1.2.3-71-gd317