Marcel Telka
2024-03-31 fe6eb26aea0379562a320c06dbc6a02592af0d7c
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"