# HG changeset patch
# User wenzelm
# Date 1478858551 -3600
# Node ID bc77e19aad44b83af7f4e70c3c30119571c7d662
# Parent  b843bcdd40f0f8d651faf6c6c813ef6876407b64
no backup of generated stuff;

diff -r b843bcdd40f0 -r bc77e19aad44 src/Pure/Admin/build_polyml.scala
--- a/src/Pure/Admin/build_polyml.scala	Fri Nov 11 10:46:46 2016 +0100
+++ b/src/Pure/Admin/build_polyml.scala	Fri Nov 11 11:02:31 2016 +0100
@@ -93,11 +93,7 @@
 
 
     val target = Path.explode(platform)
-
-    if (target.file.exists) {
-      if (target.backup.file.exists) Isabelle_System.rm_tree(target.backup)
-      File.move(target, target.backup)
-    }
+    Isabelle_System.rm_tree(target)
     Isabelle_System.mkdirs(target)
 
     for {