common/tools/envinfo2diamonds.pl
changeset 1149 3a17ff141d92
parent 1146 739036c00f80
child 1151 b60154bd7ef7
equal deleted inserted replaced
1148:7930eb17d6fc 1149: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"))