diff options
Diffstat (limited to 'Master/tlpkg/bin/tlprm')
-rwxr-xr-x | Master/tlpkg/bin/tlprm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tlprm b/Master/tlpkg/bin/tlprm index fa134018cd8..19109e86cf9 100755 --- a/Master/tlpkg/bin/tlprm +++ b/Master/tlpkg/bin/tlprm @@ -90,9 +90,9 @@ sub main `printf "@coll_files" >>$commit_file`; my $check_script = "$Master/tlpkg/bin/tlpkg-ctan-check"; - @lines = `egrep '( |^)$f( |\$)' $check_script`; + @lines = `egrep -nH '( |^)$f( |\$)' $check_script`; if (@lines) { - print "no future checks: $check_script\n"; + print @lines; `echo $check_script >>$commit_file`; } |