common/tools/envinfo2diamonds.pl
changeset 1161 3a17ff141d92
parent 1158 739036c00f80
child 1163 b60154bd7ef7
equal deleted inserted replaced
1160:7930eb17d6fc 1161:3a17ff141d92
    72 	$tools_lines .= "   <tool><name>$tool_info->{name}</name><version>$tool_info->{version}</version></tool>\n";
    72 	$tools_lines .= "   <tool><name>$tool_info->{name}</name><version>$tool_info->{version}</version></tool>\n";
    73 }
    73 }
    74 my $bit_tools_lines = '';
    74 my $bit_tools_lines = '';
    75 for my $bit_tool_info (@environment_info)
    75 for my $bit_tool_info (@environment_info)
    76 {
    76 {
    77 	$bit_tools_lines .= "envinfo\t$tool_info->{name},$tool_info->{version}\n";
    77 	$bit_tools_lines .= "envinfo\t$bit_tool_info->{name},$bit_tool_info->{version}\n";
    78 } 
    78 } 
    79 
    79 
    80 $xml_content =~ s/_HERE_TOOLS_LINES_/$tools_lines/;
    80 $xml_content =~ s/_HERE_TOOLS_LINES_/$tools_lines/;
    81 
    81 
    82 if (open(ENVINFO, ">$output"))
    82 if (open(ENVINFO, ">$output"))