chiark / gitweb /
Use cp -s rather than lndir
[jarrg-ian.git] / jpctb
diff --git a/jpctb b/jpctb
index 28f71c114110dc25bb4a183b4c0d0c7e1808b9b5..1356b396f57657a5ec1868d3fdb7ff26b3dcc947 100755 (executable)
--- a/jpctb
+++ b/jpctb
@@ -111,7 +111,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 ----------