mei_rt2mei_rt2_fix_1
|
Last change
on this file since 46df1bc was
ced90bc,
checked in by Mei <mei@…>, 12 years ago
|
|
1) add a single threaded java test prover script
|
-
Property mode set to
100755
|
|
File size:
241 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | |
|---|
| 3 | rm -rf hs_*.log |
|---|
| 4 | |
|---|
| 5 | keystore=`pwd` |
|---|
| 6 | |
|---|
| 7 | javac -classpath ${keystore}/build/classes threaded_test.java |
|---|
| 8 | |
|---|
| 9 | java -classpath ${keystore}/build/classes:. -Djava.library.path=/usr/local/lib threaded_test ${keystore} IceCream delicious Chocolate |
|---|
Note: See
TracBrowser
for help on using the repository browser.
