1 files changed, 3 insertions, 3 deletions
diff --git a/bin/dotc b/bin/dotc
index 2ffe20f07..2af8064f3 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -148,15 +148,15 @@ fi
 
 addJava () {
   dlog "[addJava] arg = '$1'"
-  java_args=( "${java_args[@]}" "$1" )
+  java_args+=("$1")
 }
 addScala () {
   dlog "[addScala] arg = '$1'"
-  scala_args=( "${scala_args[@]}" "$1" )
+  scala_args+=("$1")
 }
 addResidual () {
   dlog "[residual] arg = '$1'"
-  residual_args=( "${residual_args[@]}" "$1" )
+  residual_args+=("$1")
 }
 
 onExit() {