diff options
| -rwxr-xr-x | Master/tlpkg/bin/tlprm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlprm b/Master/tlpkg/bin/tlprm index cb8bd04336f..07fcd0e10c6 100755 --- a/Master/tlpkg/bin/tlprm +++ b/Master/tlpkg/bin/tlprm @@ -72,7 +72,7 @@ sub main unlink ($rm_file); `printf "$removals" >$rm_file`; - my @lines = `grep -l 'depend.*/$f\$' $Master/tlpkg/tlpsrc/collection-*`; + my @lines = `grep -l 'depend.* $f\$' $Master/tlpkg/tlpsrc/collection-*`; my $commit_file = "$TMPDIR/tlprm.commit"; unlink ($commit_file); `printf "$removals" >$commit_file`; |