* build_unflags have priority over build_flags, so we first check if the flag is already "unflaged" This finally seems to catch all cases properly :)
5.7 KiB
5.7 KiB
* build_unflags have priority over build_flags, so we first check if the flag is already "unflaged" This finally seems to catch all cases properly :)