chore: use $* for better style in expansion

shellcheck is happier this way, even if it should work the same way.

1 files changed, 1 insertions, 1 deletions

diff --git a/check b/check
index 82d1ceb..d196380 100755
--- a/check
+++ b/check
@@ -58,7 +58,7 @@ code() {
 }
 
 panic() {
-    echo "ERROR: $@" 1>&2
+    echo "ERROR: $*" 1>&2
     exit 1
 }