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

Testsuite: Add DEBUG/RELEASE build type to test result page (#8478) 

## Summary of Changes

Add DEBUG/RELEASE build type to test result page
[You can see the changes here](
https://cgal.geometryfactory.com/~nsaillant/testsuitedebugrelease/)

## Release Management

* Issue(s) solved (if any): #8473
This commit is contained in:
Laurent Rineau 2024-09-20 17:07:24 +02:00 committed by GitHub
parent 3236c2ae8e 021eeb6ee7
commit b2a09877f9
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Maintenance/test_handling/create_testresult_page
View File

@ -472,6 +472,7 @@ sub print_platform_descriptions()
<th class="timeout">o</th> <th class="timeout">o</th>
<th class="error">n</th> <th class="error">n</th>
<th class="requirements">r</th> <th class="requirements">r</th>
<th>DEBUG?</th>
<th>CMake</th> <th>CMake</th>
<th>BOOST</th> <th>BOOST</th>
<th>MPFR</th> <th>MPFR</th>
@ -524,6 +525,7 @@ EOF
($platform_is_optimized{$pf}) = ($tmp[1] =~ m|([-/]x?O[1-9])|); ($platform_is_optimized{$pf}) = ($tmp[1] =~ m|([-/]x?O[1-9])|);
$_ = <PLATFORM_INFO>; $_ = <PLATFORM_INFO>;
chomp; chomp;
my $build_type = $platform_is_optimized{$pf} ? " - " : "YES";
print OUTPUT "</td>\n"; print OUTPUT "</td>\n";
print OUTPUT "<td><a href=\"mailto:$tester_address\">$tester_name</a></td>\n"; print OUTPUT "<td><a href=\"mailto:$tester_address\">$tester_name</a></td>\n";
print OUTPUT "<td>$county</td>\n"; print OUTPUT "<td>$county</td>\n";
@ -532,6 +534,7 @@ EOF
print OUTPUT "<td>$counto</td>\n"; print OUTPUT "<td>$counto</td>\n";
print OUTPUT "<td>$countn</td>\n"; print OUTPUT "<td>$countn</td>\n";
print OUTPUT "<td>$countr</td>\n"; print OUTPUT "<td>$countr</td>\n";
print OUTPUT "<td align=\"center\">$build_type</td>\n";
$index = 8; $index = 8;
while ($index) { while ($index) {
$index--; $index--;