chiark
/
gitweb
/
~yarrgweb
/
jarrg-ian.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
use a clientfixes value that actually works
[jarrg-ian.git]
/
jpctb
diff --git
a/jpctb
b/jpctb
index 600bf1451240dc646b90e9e70d48bece5253c52e..50f295298b14b58b3cd688eafb23c4bef19aaaac 100755
(executable)
--- a/
jpctb
+++ b/
jpctb
@@
-158,9
+158,9
@@
realjava="$JPCTB_JRE/bin/java"
cat <<END
java dir.: "$javadir"
-
JRE
: "$JPCTB_JRE"
+
jre
: "$JPCTB_JRE"
primary java: "$realjava"
-
PCTB jars:
"$srcjardir"
+
jpctb jars:
"$srcjardir"
jpctb tmpdir: "$jtmp"
END