# HG changeset patch
# User wenzelm
# Date 1477314013 -7200
# Node ID 74a2af7c5145ebb4442a189121c9eb7292f3b098
# Parent  80d498d561169d9cdf5a5ec0e1f49033695d814f
remove old target: it is on the classpath and may break scalac;

diff -r 80d498d56116 -r 74a2af7c5145 src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Oct 24 14:47:46 2016 +0200
+++ b/src/Pure/build-jars	Mon Oct 24 15:00:13 2016 +0200
@@ -242,6 +242,7 @@
     done
   }
 
+  rm -f "$TARGET"
   rm -rf classes && mkdir classes
 
   SCALAC_OPTIONS="$ISABELLE_SCALA_BUILD_OPTIONS -d classes"