common/tools/envinfo2diamonds.pl
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/;