1
0
mirror of synced 2026-01-12 00:42:56 +00:00

Merge pull request #1500 from Interlisp/repair-cpv

oops missing edit cpv
This commit is contained in:
Frank Halasz 2024-01-12 17:23:16 -08:00 committed by GitHub
commit ab818ff335
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,7 +24,7 @@ fi
# if no such file $dest then just copy
if [ ! -f "$dest" ]; then
$(ln_or_cp $file $dest) $file $dest
cp $file $dest
echo "Added $(basename $dest) to $(dirname $dest)"
exit 0
fi