Use $* instead of $@ in echo

This resolves an shellcheck issue with `ctmg.sh` and makes usage of echo
more consistent: `die()` already used `$*` but `trace()` didn't.

See-Also: https://github.com/koalaman/shellcheck/wiki/SC2145
  "SC2145: Argument mixes string and array. Use * or separate argument."

Use `$ shellcheck ctmg.sh` or http://www.shellcheck.net/ to check.

1 files changed, 1 insertions, 1 deletions

diff --git a/ctmg.sh b/ctmg.sh
index 9eaa79c..0b62833 100755
--- a/ctmg.sh
+++ b/ctmg.sh
@@ -19,7 +19,7 @@ CT_FILE_SUFFIX=".ct"
 CT_MAPPER_PREFIX="ct_"
 
 trace() {
-	echo "[#] $@"
+	echo "[#] $*"
 	"$@"
 }