diff options
author | Josip Rodin <joy> | 2001-04-01 12:09:47 +0000 |
---|---|---|
committer | Josip Rodin <joy> | 2001-04-01 12:09:47 +0000 |
commit | be1d988be603bd50fb2253b3058660babba0d16e (patch) | |
tree | e931cdd697cfe7da7f473326cb7f12d30c97a4c8 /check_trans.pl | |
parent | 9fd50fd08b13d45426a7d6ebff7a471cf0fe4c49 (diff) |
hmm. this should work.
CVS version numbers
check_trans.pl: 1.19 -> 1.20
Diffstat (limited to 'check_trans.pl')
-rwxr-xr-x | check_trans.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/check_trans.pl b/check_trans.pl index 33366d81706..72aefc10ddc 100755 --- a/check_trans.pl +++ b/check_trans.pl @@ -414,8 +414,8 @@ sub check_file { if (!$oldr) { $oldr = '1.1'; $str = "Unknown status of $name (revision should be $revision)" - } elsif ($oldr >= $revision) { - $str = "Revision number $oldr for $name is broken, it should be $revision"; + } elsif ($oldr >> $revision) { + $str = "Broken revision number $oldr for $name, it should be $revision"; } else { $str = "NeedToUpdate $name from version $oldr to version $revision"; } |