# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1568644320 -32400
# Node ID 6ad6aeabe992315bb0cba0095bd22256631dd0f3
# Parent  23bf75606304bfc84c104be4d563003db99be88a
update Dockerfile

diff -r 23bf75606304 -r 6ad6aeabe992 Dockerfile
--- a/Dockerfile	Mon Sep 16 22:46:57 2019 +0900
+++ b/Dockerfile	Mon Sep 16 23:32:00 2019 +0900
@@ -9,11 +9,12 @@
 RUN wget https://search.maven.org/remotecontent?filepath=org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar
 RUN wget https://search.maven.org/remotecontent?filepath=junit/junit/4.13-beta-3/junit-4.13-beta-3.jar
 RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8
-COPY ./ThreadTest ./ThreadTest
 
 RUN wget https://services.gradle.org/distributions/gradle-5.6.2-bin.zip && unzip -d bin/gradle gradle-5.6.2-bin.zip
+RUN cd /java-8  &&  ../bin/gradle/gradle-5.6.2/bin/gradle buildJars && cd /
+
+COPY ./ThreadTest ./ThreadTest
 RUN cd ThreadTest && ../bin/gradle/gradle-5.6.2/bin/gradle build
-RUN cd /java-8  && ./gradlew buildJars && cd /
 
 COPY ./entrypoint.sh ./entrypoint.sh
 ENTRYPOINT ["sh","entrypoint.sh"]