chiark
/
gitweb
/
~yarrgweb
/
jarrg-owen.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge branch 'owen' into felix
[jarrg-owen.git]
/
jpctb
diff --git
a/jpctb
b/jpctb
index c55f90cbb5c6df97094c5f1062034c404070825c..fbc732adef64a539151dd88b22de17f9094fb7ad 100755
(executable)
--- a/
jpctb
+++ b/
jpctb
@@
-159,7
+159,7
@@
rm -rf -- "$jtmp"
mkdir -- "$jtmp" "$extdir" "$linkfarm"
cp "$srcjardir"/PCTB*.jar "$extdir"
-lndir -silent "$javadir" "$linkfarm"
+cp -Rs "$javadir"/. "$linkfarm"/.
#---------- edit the linkfarm to have our jvm wrapper ----------