print OUT "#include <stdio.h>\n";
print OUT "#include \"xbt.h\"\n";
print OUT $GENERATED;
- print OUT "# $beginline \"$infile\" \n";
+ print OUT "#line $beginline \"$infile\" \n";
print OUT "$unit_source";
print OUT $GENERATED;
close OUT || die "$progname: Cannot close output file '$outfile': $!\n";
res = xbt_test_run(selection);
xbt_test_exit();
- xbt_exit();
return res;
}
EOF