> +        # needed for updates to smoke.mk to propagate in config.h
> +        make "regen_config_h" if is_win32();

Disregard this part: win32/config.h is correctly regenerated.
( I *really* don't know what I was thinkingwhen I looked at this )

Regards
Mattia

Reply via email to