buildworld fails (missing /usr/share/mk/src.opts.mk)

[Stefan Esser]

Am 06.05.2014 11:52, schrieb Stefan Esser:
> Hi Warner,
> 
> as already reported by Jenkins, HEAD does not build.
> 
> Seems that this is caused by src.opts.mk missing in /usr/share/mk
> during the cleandir phase. I guess this is kind of a bootstrap
> issue - the definitions are looked up in the installed base, not
> in the src tree - but did not verify this assumption.
> 
> A work-around is to manually install src.opts.mk:
> 
> # make -C /usr/src/share/mk install
> 
> (which might deserve an UPDATING entry). Falling back on the file
> in the src directory might be a better solution ...
> 
> Regards, STefan

Following up to my earlier mail:

The diagnosis was wrong - the main Makefiles include src.opts.mk from
the source directory. But two sub-ordinate Makefiles missed to include
the new options file (sys/conf/kmod.mk and sys/modules/drm2/Makefile).

I committed a fix/work-around to stop the flood of tinderbox messages
(r265433).

Regards, STefan