Switch cloney to hardlinks instead of softlinks

Till Wegmüller

2022-06-03 74f4cf2f1022b37873c153f3f2683eec6771d9f2

 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