diff --git a/bin/dotc b/bin/dotc
index 47fe1cea6a46..462c1a3e3229 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -166,7 +166,7 @@ case "$1" in
            --) shift; for arg; do addResidual "$arg"; done; set -- ;;
      -h|-help) help=true && shift ;;
      -bootstrapped) bootstrapped=true && shift ;;
-  -v|-verbose) verbose=true && shift ;;
+  -v|-verbose) verbose=true && addScala "-verbose" && shift ;;
     -debug) debug=true && shift ;;
     -q|-quiet) quiet=true && shift ;;
 
diff --git a/dist/bin/dotc b/dist/bin/dotc
index 08b6554e3557..0aa352d65abf 100755
--- a/dist/bin/dotc
+++ b/dist/bin/dotc
@@ -75,7 +75,7 @@ while [[ $# -gt 0 ]]; do
 case "$1" in
            --) shift; for arg; do addResidual "$arg"; done; set -- ;;
      -h|-help) help=true && shift ;;
-  -v|-verbose) verbose=true && shift ;;
+  -v|-verbose) verbose=true && addScala "-verbose" && shift ;;
        -debug) DEBUG="$DEBUG_STR" && shift ;;
     -q|-quiet) quiet=true && shift ;;