check_release.pl
changeset 9 25921fa4d40f
parent 8 31d1807b55d8
child 10 0b560168af46
equal deleted inserted replaced
8:31d1807b55d8 9:25921fa4d40f
    78         chomp;
    78         chomp;
    79         $current_release = $_;
    79         $current_release = $_;
    80     }
    80     }
    81     close(CR);
    81     close(CR);
    82 
    82 
    83     if ((length $current_release == 3) && ($current_release =~ /0$/)) {
       
    84         $current_release = "$current_release.0";
       
    85     }
       
    86 
       
    87     return $current_release;
    83     return $current_release;
    88 }
    84 }
    89 
    85 
    90 sub get_stable_release($$) {
    86 sub get_stable_release($$) {
    91     my ($url,   $search)         = @_;
    87     my ($url,   $search)         = @_;