Mercurial > hg > Docker > JavaPathFinder

view entrypoint.sh @ 6:e49b52c098c7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mounted the current directory
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Tue, 17 Sep 2019 08:48:23 +0900
parents 23bf75606304
children
line wrap: on
line source

#!/bin/sh

export JPF_HOME=/java-8
cd /os_exercise/ThreadTest
/bin/gradle/gradle-5.6.2/bin/gradle build

/java-8/bin/jpf +classpath=build/classes/java/main threadTest.TestThread
#/java-8/bin/jpf +classpath=build/classes/java/main jp.ac.uryukyu.ie.e1x57xx.Interleave