Ingolf Steinbach wrote:

> No, neither COPTS nor CFLAGS are modified in /etc/mk.conf.

While correct, it turns out that COPTS probably was *set* by
COPTS+=
(i.e. with empty rhs). I removed /etc/mk.conf and also cleaned
the environment. No the build.sh script completes. Thanks!

Kind regards
    Ingolf