Fix error output echo function.

4 years ago · 0d1c6192ff
1 changed files with 1 additions and 1 deletions
--- a/scripts/tools.sh
+++ b/scripts/tools.sh
@ -1,6 +1,6 @@
 function errcho ()
 {
-    echo $@ >&2
+    echo "$@" >&2
 }

 function elements_not_in_list ()