build: benchmarks and examples should be disabled when external callbacks are enabled #1308
issue real-or-random opened this issue on May 12, 2023-
real-or-random commented at 9:52 AM on May 12, 2023: contributor
- real-or-random added the label build on May 12, 2023
- real-or-random renamed this:
buildd: benchmarks and examples should be disabled when external callbacks are enabled
build: benchmarks and examples should be disabled when external callbacks are enabled
on May 12, 2023 - hebasto cross-referenced this on May 24, 2023 from issue build: Disable some targets when external callbacks are enabled by hebasto
-
hebasto commented at 9:40 AM on May 24, 2023: member
What about
ctime_tests? -
real-or-random commented at 10:00 AM on May 24, 2023: contributor
What about
ctime_tests?Ok yes, I haven't checked. Do they build successfully if external callback are enabled? If no, then I guess we should disable the ctime_tests as well...
-
hebasto commented at 10:01 AM on May 24, 2023: member
Do they build successfully if external callback are enabled?
No, they don't.
-
real-or-random commented at 10:38 AM on May 24, 2023: contributor
Ok yes, then they should be also be covered in #1325
