Switch cloney to hardlinks instead of softlinks

Till Wegmüller

2022-06-03 74f4cf2f1022b37873c153f3f2683eec6771d9f2

Switch cloney to hardlinks instead of softlinks

 tools/cloney

@@ -52,5 +52,5 @@
    while read i;
do
    rm -f "${destdir}/$i"
    ln -s "${srcdir}/$i" "${destdir}/$i"
    ln "${srcdir}/$i" "${destdir}/$i"
done