diff options
| author | uqs <uqs@FreeBSD.org> | 2011-01-25 18:32:21 +0000 |
|---|---|---|
| committer | uqs <uqs@FreeBSD.org> | 2011-01-25 18:32:21 +0000 |
| commit | 6a3a026ee38fcd0ae9477e594ba21fb36fd4d984 (patch) | |
| tree | 8526870940792f44dd028f1b03aa7c8afb350196 /usr.bin/man/man.sh | |
| parent | 64c19cf589513cd3d7b245538188945dbcc8b5e1 (diff) | |
| download | FreeBSD-src-6a3a026ee38fcd0ae9477e594ba21fb36fd4d984.zip FreeBSD-src-6a3a026ee38fcd0ae9477e594ba21fb36fd4d984.tar.gz | |
Use test(1) operators and test for the catpage not being older than the
manpage.
Identical mtimes (as generated by buildworld for these files) precluded
catpages from working.
Approved by: gordon
Diffstat (limited to 'usr.bin/man/man.sh')
| -rwxr-xr-x | usr.bin/man/man.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/usr.bin/man/man.sh b/usr.bin/man/man.sh index 7a5a221..2495ddb 100755 --- a/usr.bin/man/man.sh +++ b/usr.bin/man/man.sh @@ -200,8 +200,8 @@ find_file() { # Usage: is_newer file1 file2 # Returns true if file1 is newer than file2 as calculated by mtime. is_newer() { - if [ $(stat -f %m $1) -gt $(stat -f %m $2) ]; then - decho " mtime: $1 newer than $2" 3 + if ! [ "$1" -ot "$2" ]; then + decho " mtime: $1 not older than $2" 3 return 0 else decho " mtime: $1 older than $2" 3 |
