diff options
Diffstat (limited to 'Master/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index 7f857c1fe02..430e83a85c0 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -135,6 +135,9 @@ if test -n "`find -name \*\ \*`"; then exit 1 fi +# check for file names differing in case only. +find $refroot \( -name .svn \) -prune -o -print | sort -f | uniq -i -d >&2 + # show list of files (and tee to tmp). find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -k2 \ | tee ${TMPDIR-/tmp}/ctan2tl.files |