diff options
-rwxr-xr-x | Master/tlpkg/bin/tlpdb-check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpdb-check b/Master/tlpkg/bin/tlpdb-check index 629d097f73a..3d041a717b6 100755 --- a/Master/tlpkg/bin/tlpdb-check +++ b/Master/tlpkg/bin/tlpdb-check @@ -5,6 +5,7 @@ # or any later version. # # Check that tlpdb contains all the files in the trees, exactly once. +# also that collections don't have files. cd `dirname $0`/../.. || exit 1 |