diff options
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-linked-scripts | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/Master/tlpkg/bin/tl-update-linked-scripts b/Master/tlpkg/bin/tl-update-linked-scripts index 8f9a5b2ef44..5ef63786983 100755 --- a/Master/tlpkg/bin/tl-update-linked-scripts +++ b/Master/tlpkg/bin/tl-update-linked-scripts @@ -24,13 +24,7 @@ compare_and_copy () { cmp -s $Src/$file $Dest/$file && continue echo "updating $Src/$file -> $Dest/$file" diff -u0 $Src/$file $Dest/$file - cp $Src/$file $Dest/$file - - # simpler/clearer history to just update? - #svn delete --force $Dest/$file && svn copy $Src/$file $Dest/$file || exit 1 - - # keyword expansion should be off in $Dest, so this shouldn't be needed: - #cp $Src/$file $Dest/$file + cp $Src/$file $Dest/$file || exit 1 done } |