common/tools/envinfo2diamonds.pl
changeset 1158 739036c00f80
parent 1059 41e4f69f652f
child 1161 3a17ff141d92
--- 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);
+}