Mercurial > hg > Docker > JavaPathFinder

view entrypoint.sh @ 5:6ad6aeabe992

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update Dockerfile
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Mon, 16 Sep 2019 23:32:00 +0900
parents 23bf75606304
children e49b52c098c7
line wrap: on
line source

#!/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