songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

improve platform options handling and clean up OS formatting

This commit is contained in:
Nicolas Saillant 2024-12-12 11:10:26 +01:00
parent ab02480ff0
commit 81932f1083
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Maintenance/test_handling/create_testresult_page
View File

@ -320,8 +320,6 @@ sub sort_pf {
$platform_b = $platform; $platform_b = $platform;
my $os_a = $platforms_info{$platform_a}->{operating_system} // ''; my $os_a = $platforms_info{$platform_a}->{operating_system} // '';
my $os_b = $platforms_info{$platform_b}->{operating_system} // ''; my $os_b = $platforms_info{$platform_b}->{operating_system} // '';
$os_a =~ s/"//g;
$os_b =~ s/"//g;
return $os_a cmp $os_b; return $os_a cmp $os_b;
} }
@ -740,7 +738,7 @@ sub get_warnings_and_errors {
} }
sub create_summary_page { sub create_summary_page {
my $platform_options = join("\n", map { "<option value=\"$_\">$_</option>" } @platforms_to_do); my $platform_options = join("\n", map { "<option value=\"$_\">$platforms_info{$_}->{platform_name}</option>" } @platforms_to_do);
my $test_directory; my $test_directory;
my @letters = ('r', 'n', 'w', 'o'); my @letters = ('r', 'n', 'w', 'o');
my $letters_options = join("\n", map { "<option value=\"$_\">$_</option>" } @letters); my $letters_options = join("\n", map { "<option value=\"$_\">$_</option>" } @letters);

3
Maintenance/test_handling/to_zipped_format
View File

@ -89,7 +89,8 @@ sub reformat_results($)
$COMPILER = $1; $COMPILER = $1;
} }
if (/-- Operating system: (.*)/) { if (/-- Operating system: (.*)/) {
$OS = "$OS $1"; $OS = $1;
$OS =~ s/"//g;
} }
if (/^TESTER_NAME\s+(.*)$/) { if (/^TESTER_NAME\s+(.*)$/) {
$TESTER_NAME = $1; $TESTER_NAME = $1;