--- a/common/tools/envinfo2diamonds.pl Fri Jul 09 17:24:50 2010 +0100
+++ b/common/tools/envinfo2diamonds.pl Fri Jul 09 17:55:07 2010 +0100
@@ -18,6 +18,7 @@
my $input = "\\output\\logs\\envinfo.txt";
my $output = "\\output\\logs\\diamonds_envinfo.xml";
+my $bit_output = "\\output\\logs\\bitinfo.txt";
my $help = 0;
GetOptions((
'in=s' => \$input,
@@ -70,6 +71,11 @@
{
$tools_lines .= " <tool><name>$tool_info->{name}</name><version>$tool_info->{version}</version></tool>\n";
}
+my $bit_tools_lines = '';
+for my $bit_tool_info (@environment_info)
+{
+ $bit_tools_lines .= "envinfo\t$tool_info->{name},$tool_info->{version}\n";
+}
$xml_content =~ s/_HERE_TOOLS_LINES_/$tools_lines/;
@@ -83,3 +89,9 @@
{
warn "Could not write to file: $output\n";
}
+
+if (open(BITINFO, ">>$bit_output"))
+{
+ print BITINFO $bit_tools_lines;
+ close(BITINFO);
+}