On 5/11/22 14:48, Andreas Schwab wrote: > On Mai 11 2022, Martin Liška wrote: > >> @Joseph: Can you please help me why --disable-$foo disables building $foo >> folder during the build? > > # Handle --disable- generically. > for dir in $configdirs $build_configdirs $target_configdirs ; do > dirname=`echo $dir | sed -e s/target-//g -e s/build-//g -e s/-/_/g` > varname=`echo $dirname | sed -e s/+/_/g` > if eval test x\${enable_${varname}} "=" xno ; then > noconfigdirs="$noconfigdirs $dir" > fi > done > Great, thanks! Using that I provide v3 where I renamed the option to --{enable,disable}-fixincludes. Ready to be installed? Thanks, Martin