Merge pull request #6660 from dotty-staging/fix-dotc

OlivierBlanvillain · web-flow · commit 8ae3a1d2e0be · 2019-06-12T13:51:43.000+02:00
Remove duplicate path in dotc
diff --git a/dist/bin/dotc b/dist/bin/dotc
@@ -60,7 +60,6 @@ classpathArgs () {
   toolchain+="$SCALA_ASM$PSEP"
   toolchain+="$SBT_INTF$PSEP"
   toolchain+="$DOTTY_INTF$PSEP"
-  toolchain+="$DOTTY_LIB$PSEP"
   toolchain+="$DOTTY_COMP$PSEP"
 
   # jine
