diff options
Diffstat (limited to 'Master/tlpkg')
-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. |