common/tools/uh2diamonds.pl
changeset 1254 dfafee79af71
parent 1244 c04fc0405d17
equal deleted inserted replaced
1253:4fbe6b3c1776 1254:dfafee79af71
    93 if (open(BITINFO, ">>$bit_output"))
    93 if (open(BITINFO, ">>$bit_output"))
    94 {
    94 {
    95 	print BITINFO "failure\tmissing,$missing\n";
    95 	print BITINFO "failure\tmissing,$missing\n";
    96 	print BITINFO "failure\tminor,$minor\n";
    96 	print BITINFO "failure\tminor,$minor\n";
    97 	print BITINFO "failure\tmajor,$major\n";
    97 	print BITINFO "failure\tmajor,$major\n";
       
    98 	print BITINFO "failure\tunknown,$unknown\n";
    98 	print BITINFO "failure\tcritical,$critical\n";
    99 	print BITINFO "failure\tcritical,$critical\n";
    99 	close(BITINFO);
   100 	close(BITINFO);
   100 }
   101 }