[head tinderbox] failure on ia64/ia64

[FreeBSD Tinderbox]

TB --- 2006-11-11 04:51:36 - tinderbox 2.3 running on freebsd-current.sentex.ca
TB --- 2006-11-11 04:51:36 - starting HEAD tinderbox run for ia64/ia64
TB --- 2006-11-11 04:51:36 - cleaning the object tree
TB --- 2006-11-11 04:52:12 - checking out the source tree
TB --- 2006-11-11 04:52:12 - cd /tinderbox/HEAD/ia64/ia64
TB --- 2006-11-11 04:52:12 - /usr/bin/cvs -f -R -q -d/home/ncvs update -Pd -A src
TB --- 2006-11-11 05:02:19 - building world (CFLAGS=-O2 -pipe)
TB --- 2006-11-11 05:02:19 - cd /src
TB --- 2006-11-11 05:02:19 - /usr/bin/make -B buildworld
>>> World build started on Sat Nov 11 05:02:21 UTC 2006
>>> Rebuilding the temporary build tree
>>> stage 1.1: legacy release compatibility shims
>>> stage 1.2: bootstrap tools
>>> stage 2.1: cleaning up the object tree
>>> stage 2.2: rebuilding the object tree
>>> stage 2.3: build tools
>>> stage 3: cross tools
>>> stage 4.1: building includes
>>> stage 4.2: building libraries
>>> stage 4.3: make dependencies
>>> stage 4.4: building everything
>>> World build completed on Sat Nov 11 06:19:30 UTC 2006
TB --- 2006-11-11 06:19:31 - generating LINT kernel config
TB --- 2006-11-11 06:19:31 - cd /src/sys/ia64/conf
TB --- 2006-11-11 06:19:31 - /usr/bin/make -B LINT
TB --- 2006-11-11 06:19:31 - building LINT kernel (COPTFLAGS=-O2 -pipe)
TB --- 2006-11-11 06:19:31 - cd /src
TB --- 2006-11-11 06:19:31 - /usr/bin/make buildkernel KERNCONF=LINT
>>> Kernel build for LINT started on Sat Nov 11 06:19:32 UTC 2006
>>> stage 1: configuring the kernel
[...]
WARNING: duplicate option `GEOM_BSD' encountered.
WARNING: duplicate option `GEOM_GPT' encountered.
WARNING: duplicate option `GEOM_MBR' encountered.
WARNING: duplicate option `DEV_MEM' encountered.
WARNING: duplicate device `mem' encountered.
WARNING: duplicate option `DEV_ACPI' encountered.
WARNING: duplicate device `acpi' encountered.
/src/sys/ia64/conf/LINT: unknown option "MUTEX_PROFILING"
*** Error code 1

Stop in /src.
*** Error code 1

Stop in /src.
TB --- 2006-11-11 06:19:32 - WARNING: /usr/bin/make returned exit code  1 
TB --- 2006-11-11 06:19:32 - ERROR: failed to build lint kernel
TB --- 2006-11-11 06:19:32 - tinderbox aborted
TB --- 0.71 user 2.55 system 5276.54 real


http://tinderbox.des.no//tinderbox/logs/tinderbox-head-HEAD-ia64-ia64.full