diff options
author | Josip Rodin <joy> | 2001-04-01 12:00:36 +0000 |
---|---|---|
committer | Josip Rodin <joy> | 2001-04-01 12:00:36 +0000 |
commit | 202cb61dabceaa35edef0c1add270fb60692a29b (patch) | |
tree | 9630a356caf126995556fa73b773eb4b800533e1 /check_trans.pl | |
parent | 3094c4357dfb3f84f3cf7059e0e2b6eaa0b57f59 (diff) |
let's also handle the case where I make a typo :)
CVS version numbers
check_trans.pl: 1.18 -> 1.19
Diffstat (limited to 'check_trans.pl')
-rwxr-xr-x | check_trans.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/check_trans.pl b/check_trans.pl index bdb406d851c..33366d81706 100755 --- a/check_trans.pl +++ b/check_trans.pl @@ -414,6 +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"; } else { $str = "NeedToUpdate $name from version $oldr to version $revision"; } |