chiark / gitweb /
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 ----------