diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 19:38:58 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-15 19:38:58 +0000 |
| commit | 54a043ffd13f3d896b58c6a9f0a4a5bb2170b9ab (patch) | |
| tree | 1d8aa5f85a9450353ec3fdaaa5100f60c2d6478e /tools/checkman | |
| parent | Adding debian version 2.12.0-4. (diff) | |
| download | man-db-54a043ffd13f3d896b58c6a9f0a4a5bb2170b9ab.tar.xz man-db-54a043ffd13f3d896b58c6a9f0a4a5bb2170b9ab.zip | |
Merging upstream version 2.12.1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
| -rwxr-xr-x | tools/checkman | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/checkman b/tools/checkman index f93998d..1f37e03 100755 --- a/tools/checkman +++ b/tools/checkman @@ -66,11 +66,11 @@ do # See which is newer and echo - if test "$file1" -nt "$file2" + if test "$(find "$file1" -newer "$file2")" then echo "$file1 is newer than $file2" >&2 echo "$file2" - elif test "$file2" -nt "$file1" + elif test "$(find "$file2" -newer "$file1")" then echo "$file2 is newer than $file1" >&2 echo "$file1" |