Signal 12 on make update (or any target in /usrc/src)

Hi all,

I recently upgraded from a late June (pre 11-branch, as far as I can tell) revision to r303771.

Now, running “make update” (or buildworld, …) in /usr/src fails with a signal 12:

matteo_at_triton:/usr/src$ sudo make update
Password:
*** Signal 12

Stop.
make: stopped in /usr/src
.ERROR_TARGET='update'
.ERROR_META_FILE=''
.MAKE.LEVEL='0'
MAKEFILE=''
.MAKE.MODE='normal'
.CURDIR='/usr/src'
.MAKE='make'
.OBJDIR='/usr/obj/usr/src'
.TARGETS='update'
DESTDIR=''
LD_LIBRARY_PATH=''
MACHINE='amd64'
MACHINE_ARCH='amd64'
MAKEOBJDIRPREFIX='/usr/obj'
MAKESYSPATH='/usr/src/share/mk'
MAKE_VERSION='20160606'
PATH='/sbin:/bin:/usr/sbin:/usr/bin'
SRCTOP='/usr/src'
OBJTOP='/usr/obj/usr/src

Installing ports using “make install” works.

Relevant (?) section of src.conf:
WITH_CCACHE_BUILD=y
WITH_SYSTEM_COMPILER=y

src-env.conf:
WITH_META_MODE=yes

make.conf:
KERNCONF=TRITON
CPUTYPE?=k8-sse3
SVN_UPDATE=y
COPTFLAGS=-O2 -pipe
MALLOC_PRODUCTION=y

Any hints?

Thanks,
Matteo