src/Pure/Tools/build_docker.scala
changeset 66906 03a96b8c7c06
parent 66790 c0e68e6a1beb
child 68738 34b8ff7cb109
--- a/src/Pure/Tools/build_docker.scala	Mon Oct 23 14:12:09 2017 +0200
+++ b/src/Pure/Tools/build_docker.scala	Mon Oct 23 19:30:39 2017 +0200
@@ -63,7 +63,6 @@
 """
 RUN tar xzf Isabelle.tar.gz && \
   mv """ + isabelle_name + """ Isabelle && \
-  rm -rf Isabelle.tar.gz Isabelle/contrib/jdk/x86-linux && \
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
   perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=""" + logic + """,g;' Isabelle/etc/settings && \
   Isabelle/bin/isabelle build -s -b """ + logic +