diff -r 7930eb17d6fc -r 3a17ff141d92 common/tools/envinfo2diamonds.pl
--- 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/;