From a94a03a75c430e842a5b1d68732f0428be598a07 Mon Sep 17 00:00:00 2001
From: Chris Birchall <chris.birchall@gmail.com>
Date: Sat, 7 Jul 2018 23:54:49 +0100
Subject: [PATCH] Fix handling of -print-tasty flag in dotc

If the "-print-tasty" argument is passed to the dotc wrapper script, it
should be propagated to the decompiler.
---
 dist/bin/dotc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/bin/dotc b/dist/bin/dotc
index 790705e71388..07a95fb5b395 100755
--- a/dist/bin/dotc
+++ b/dist/bin/dotc
@@ -90,7 +90,7 @@ case "$1" in
         -repl) PROG_NAME="$ReplMain" && shift ;;
      -compile) PROG_NAME="$CompilerMain" && shift ;;
    -decompile) PROG_NAME="$DecompilerMain" && shift ;;
- -print-tasty) PROG_NAME="$DecompilerMain" && shift ;;
+ -print-tasty) PROG_NAME="$DecompilerMain" && addScala "-print-tasty" && shift ;;
          -run) PROG_NAME="$ReplMain" && shift ;;
       -bootcp) bootcp=true && shift ;;
    -nobootcp) unset bootcp && shift ;;