Marcel Telka
2024-04-02 327b05574f0dc1b1046c72401256ce5afd3e3247
tools/cloney
@@ -96,7 +96,7 @@
    while read i;
do
   rm -f "${destdir}/$i"
   cp "${srcdir}/$i" "${destdir}/$i"
   cp -a "${srcdir}/$i" "${destdir}/$i"
done
else
   echo "CLONEY_MODE=$CLONEY_MODE not supported"