fix error reporting for unknown value of unrecognized_configure_options in ConfigureMake#3563
Merged
bartoldeman merged 1 commit intoeasybuilders:5.0.xfrom boegel:fix_configuremakeJan 17, 2025
+1-1
