From 3f6ef606789a8970b5c7a616d29f60f673183be1 Mon Sep 17 00:00:00 2001
From: Liu Fengyun <liu@fengy.me>
Date: Tue, 11 Jun 2019 15:05:13 +0200
Subject: [PATCH] Remove duplicate path in dotc (thanks @michelou)

---
 dist/bin/dotc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dist/bin/dotc b/dist/bin/dotc
index 894f16641730..b94fbe4ad95d 100755
--- 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