changeset 1161 | 3a17ff141d92 |
parent 1158 | 739036c00f80 |
child 1163 | b60154bd7ef7 |
--- a/common/tools/envinfo2diamonds.pl Mon Jul 12 11:18:04 2010 +0100 +++ b/common/tools/envinfo2diamonds.pl Mon Jul 12 11:26:23 2010 +0100 @@ -74,7 +74,7 @@ my $bit_tools_lines = ''; for my $bit_tool_info (@environment_info) { - $bit_tools_lines .= "envinfo\t$tool_info->{name},$tool_info->{version}\n"; + $bit_tools_lines .= "envinfo\t$bit_tool_info->{name},$bit_tool_info->{version}\n"; } $xml_content =~ s/_HERE_TOOLS_LINES_/$tools_lines/;