# HG changeset patch # User Dario Sestito # Date 1278932521 -3600 # Node ID b60154bd7ef7eee8db043bd29c0710820bf34a5e # Parent 1127dea6b78bcf1459c8782bdbc3724b6aac0e9e Fix: envinfo in bit database is reversed diff -r 1127dea6b78b -r b60154bd7ef7 common/tools/envinfo2diamonds.pl --- a/common/tools/envinfo2diamonds.pl Mon Jul 12 12:00:07 2010 +0100 +++ b/common/tools/envinfo2diamonds.pl Mon Jul 12 12:02:01 2010 +0100 @@ -54,7 +54,6 @@ close(INFILE); # write diamonds file -@environment_info = reverse(@environment_info); my $xml_content = <<_EOX; @@ -67,7 +66,7 @@ _EOX my $tools_lines = ''; -for my $tool_info (@environment_info) +for my $tool_info (reverse(@environment_info)) { $tools_lines .= " $tool_info->{name}$tool_info->{version}\n"; }