Fix linux-baremetal build

2026-07-26 17:49:44 +02:00
parent 98ecd11d2b
commit edaf9bd8ba
3 changed files with 29 additions and 13 deletions
@@ -219,7 +219,6 @@ if ( grep { $_ eq "fail" } @selected_targets ) {
 # Build everything
 # ========================================================================================= #

-# TODO: linux-baremetal target is broken
 system( "mkdir", "-p", "$local_builds_dir" );
 foreach my $experiment (@selected_experiments) {
    foreach my $target (@selected_targets) {