Skip to content

Honor --disable-module-extensions configuration option#4971

Merged
boegel merged 1 commit into
easybuilders:developfrom
xdelaruelle:disable_module_extensions
Aug 9, 2025
Merged

Honor --disable-module-extensions configuration option#4971
boegel merged 1 commit into
easybuilders:developfrom
xdelaruelle:disable_module_extensions

Conversation

@xdelaruelle

Copy link
Copy Markdown
Contributor

Commit a48c6bb dismissed the check of 'module_extensions' build option before generating module extensions. As a result it was not possible to disable module extensions with --disable-module-extensions. Commit a48c6bb also moved extension generation code behind the elif conflict: condition branch.

This commit restores a correct check for 'module_extensions' build option and provides a test to check behavior when 'module_extensions' is disabled.

Fixes #4887

Supersedes #4898

Commit a48c6bb dismissed the check of 'module_extensions' build option
before generating module extensions. As a result it was not possible to
disable module extensions with --disable-module-extensions. Commit
a48c6bb also moved extension generation code behind the `elif conflict:`
condition branch.

This commit restores a correct check for 'module_extensions' build
option and provides a test to check behavior when 'module_extensions' is
disabled.

Fixes easybuilders#4887

Signed-off-by: Xavier Delaruelle <xavier.delaruelle@cea.fr>

@boegel boegel left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@boegel boegel added this to the next release (5.1.2) milestone Aug 9, 2025
@boegel boegel added the bug fix label Aug 9, 2025
@boegel boegel merged commit f71736e into easybuilders:develop Aug 9, 2025
37 checks passed
@boegel boegel changed the title Honor 'module_extensions' build option Honor --disable-module-extensions configuration option Aug 9, 2025
@xdelaruelle xdelaruelle deleted the disable_module_extensions branch August 9, 2025 16:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

--disable-module-extensions option not work

2 participants