Mercurial > hg > Docker > JavaPathFinder

diff entrypoint.sh @ 4:23bf75606304

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add entrypoint.sh and tweak Dockerfile
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Sep 2019 22:46:57 +0900
parents
children e49b52c098c7
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/entrypoint.sh	Mon Sep 16 22:46:57 2019 +0900
@@ -0,0 +1,11 @@
+#!/bin/sh
+#ls ../java-8
+#cd ../java-8
+#./gradlew buildJars
+cd /ThreadTest
+ls build/classes/java/main/threadTest
+#../java-8/bin/jpf +classpath=build/classes/java/main/threadTest.TestThread
+export JPF_HOME=/java-8
+#../java-8/bin/jpf +classpath=. threadTest.TestThread
+#../java-8/bin/jpf +classpath=. build/classes/java/main/threadTest.TestThread
+../java-8/bin/jpf +classpath=build/classes/java/main threadTest.TestThread