check_release.pl
changeset 3 c442ffe27e48
parent 2 1be9848b69b6
child 4 d1541211673e
equal deleted inserted replaced
2:1be9848b69b6 3:c442ffe27e48
    79         chomp;
    79         chomp;
    80         $current_release = $_;
    80         $current_release = $_;
    81     }
    81     }
    82     close(CR);
    82     close(CR);
    83 
    83 
       
    84 	if ( (length $current_release == 3) && ($current_release =~ /0$/) ) {
       
    85 		$current_release = "$current_release.0";
       
    86 	}
       
    87 
    84     ### $current_release
    88     ### $current_release
    85 
    89 
    86     return $current_release;
    90     return $current_release;
    87 }
    91 }
    88 
    92