This commit is contained in:
Bob Andrews 2024-02-02 13:13:57 +01:00 committed by GitHub
parent 96d55e3703
commit 54b423a99e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 7 deletions

View File

@ -40,12 +40,5 @@ int main(void) {
}
printf("%d errors\n", fails);
#ifdef __OPT__
return fails;
#else
/* Force exit failure on non-optimised version, which works,
* otherwise it breaks the build
*/
return 1;
#endif
}