Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

sched/init: Fix build error with CONFIG_BOARD_CRASHDUMP_CUSTOM #15951

Merged
merged 1 commit into from
Mar 7, 2025

Conversation

SPRESENSE
Copy link
Contributor

Summary

Fix build error with the following condition.

  • CONFIG_BOARD_CRASHDUMP_CUSTOM=y
  • CONFIG_COREDUMP=n

The condition for calling coredump_initialize() is incorrect.
CONFIG_BOARD_CRASHDUMP_CUSTOM is not dependent on CONFIG_COREDUMP.

Impact

Testing

Fix build error with the following condition.
- CONFIG_BOARD_CRASHDUMP_CUSTOM=y
- CONFIG_COREDUMP=n

The condition for calling `coredump_initialize()` is incorrect.
CONFIG_BOARD_CRASHDUMP_CUSTOM is not dependent on CONFIG_COREDUMP.

Signed-off-by: SPRESENSE <[email protected]>
@github-actions github-actions bot added Area: OS Components OS Components issues Size: XS The size of the change in this PR is very small labels Mar 7, 2025
@anchao anchao merged commit 0938671 into apache:master Mar 7, 2025
39 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: OS Components OS Components issues Size: XS The size of the change in this PR is very small
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants