Removed entry point.

2019-01-05 16:57:59 +00:00 · 2019-01-05 16:57:59 +00:00 · 1b32ba0fd4
parent 442fec5c3c
commit 1b32ba0fd4
1 changed files with 0 additions and 2 deletions
--- a/isabelle/Dockerfile
+++ b/isabelle/Dockerfile
@ -54,5 +54,3 @@ RUN curl -L -o "Isabelle.tar.gz" "$isabelle" && \
  perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
  Isabelle/bin/isabelle build -s -b $sessions

-ENTRYPOINT ["Isabelle/bin/isabelle"]
-