diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-22 21:55:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-22 21:55:30 +0000 |
commit | 62f371be7a26743e75bde45b68825e422e4a134f (patch) | |
tree | 85af34370f2dd80e2320e3d913c31e101680fd5a | |
parent | 06f0c5f00c3e4c5c2ff70db96c3aeedb09be6d1d (diff) |
guess its -u0.
git-svn-id: svn://tug.org/texlive/trunk@55241 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/tlpkg/libexec/mptopdf-extract | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/mptopdf-extract b/Master/tlpkg/libexec/mptopdf-extract index 33a2a162439..f674dcbd291 100755 --- a/Master/tlpkg/libexec/mptopdf-extract +++ b/Master/tlpkg/libexec/mptopdf-extract @@ -33,7 +33,7 @@ cd $workdir.new || exit 1 unzip -q $context_zip $files || exit 1 cd .. -if diff -ru 0 $workdir $workdir.new; then +if diff -ru0 $workdir $workdir.new; then rm -rf $workdir.new # same, nothing to do. else # changed files, so work -> prev, new -> work. |