[head tinderbox] failure on armv6/arm

TB --- 2013-07-08 00:40:20 - tinderbox 2.10 running on freebsd-current.sentex.ca
TB --- 2013-07-08 00:40:20 - FreeBSD freebsd-current.sentex.ca 8.3-PRERELEASE FreeBSD 8.3-PRERELEASE #0: Mon Mar 26 13:54:12 EDT 2012     des_at_freebsd-current.sentex.ca:/usr/obj/usr/src/sys/GENERIC  amd64
TB --- 2013-07-08 00:40:20 - starting HEAD tinderbox run for armv6/arm
TB --- 2013-07-08 00:40:20 - cleaning the object tree
TB --- 2013-07-08 00:40:20 - /usr/local/bin/svn stat /src
TB --- 2013-07-08 00:40:25 - At svn revision 253014
TB --- 2013-07-08 00:40:26 - building world
TB --- 2013-07-08 00:40:26 - CROSS_BUILD_TESTING=YES
TB --- 2013-07-08 00:40:26 - MAKEOBJDIRPREFIX=/obj
TB --- 2013-07-08 00:40:26 - PATH=/usr/bin:/usr/sbin:/bin:/sbin
TB --- 2013-07-08 00:40:26 - SRCCONF=/dev/null
TB --- 2013-07-08 00:40:26 - TARGET=arm
TB --- 2013-07-08 00:40:26 - TARGET_ARCH=armv6
TB --- 2013-07-08 00:40:26 - TZ=UTC
TB --- 2013-07-08 00:40:26 - __MAKE_CONF=/dev/null
TB --- 2013-07-08 00:40:26 - cd /src
TB --- 2013-07-08 00:40:26 - /usr/bin/make -B buildworld
>>> Building an up-to-date make(1)
>>> World build started on Mon Jul  8 00:40:33 UTC 2013
>>> 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 Mon Jul  8 03:41:44 UTC 2013
TB --- 2013-07-08 03:41:44 - generating LINT kernel config
TB --- 2013-07-08 03:41:44 - cd /src/sys/arm/conf
TB --- 2013-07-08 03:41:44 - /usr/bin/make -B LINT
TB --- 2013-07-08 03:41:44 - cd /src/sys/arm/conf
TB --- 2013-07-08 03:41:44 - /usr/sbin/config -m LINT
TB --- 2013-07-08 03:41:44 - skipping LINT kernel
TB --- 2013-07-08 03:41:44 - cd /src/sys/arm/conf
TB --- 2013-07-08 03:41:44 - /usr/sbin/config -m AC100
TB --- 2013-07-08 03:41:45 - building AC100 kernel
TB --- 2013-07-08 03:41:45 - CROSS_BUILD_TESTING=YES
TB --- 2013-07-08 03:41:45 - MAKEOBJDIRPREFIX=/obj
TB --- 2013-07-08 03:41:45 - PATH=/usr/bin:/usr/sbin:/bin:/sbin
TB --- 2013-07-08 03:41:45 - SRCCONF=/dev/null
TB --- 2013-07-08 03:41:45 - TARGET=arm
TB --- 2013-07-08 03:41:45 - TARGET_ARCH=armv6
TB --- 2013-07-08 03:41:45 - TZ=UTC
TB --- 2013-07-08 03:41:45 - __MAKE_CONF=/dev/null
TB --- 2013-07-08 03:41:45 - cd /src
TB --- 2013-07-08 03:41:45 - /usr/bin/make -B buildkernel KERNCONF=AC100
>>> Kernel build for AC100 started on Mon Jul  8 03:41:45 UTC 2013
>>> stage 1: configuring the kernel
>>> stage 2.1: cleaning up the object tree
>>> stage 2.2: rebuilding the object tree
>>> stage 2.3: build tools
>>> stage 3.1: making dependencies
>>> stage 3.2: building everything
[...]
cc  -c -O -pipe  -std=c99 -g -Wall -Wredundant-decls -Wnested-externs -Wstrict-prototypes  -Wmissing-prototypes -Wpointer-arith -Winline -Wcast-qual  -Wundef -Wno-pointer-sign -fformat-extensions  -Wmissing-include-dirs -fdiagnostics-show-option  -Wno-error-tautological-compare -Wno-error-empty-body  -Wno-error-parentheses-equality  -nostdinc  -I. -I/src/sys -I/src/sys/contrib/altq -I/src/sys/contrib/libfdt -D_KERNEL -DHAVE_KERNEL_OPTION_HEADERS -include opt_global.h  -ffreestanding -Werror  /src/sys/arm/arm/pmap-v6.c
/src/sys/arm/arm/pmap-v6.c:3339:28: error: more '%' conversions than data arguments [-Werror,-Wformat]
                                     "va %x pte %x in %s", va, *ptep));
                                                      ~^
/src/sys/sys/systm.h:83:17: note: expanded from macro 'KASSERT'
                kassert_panic msg;                                              \
                              ^
1 error generated.
*** Error code 1

Stop.
make: stopped in /obj/arm.armv6/src/sys/AC100
*** Error code 1

Stop.
make: stopped in /src
*** Error code 1

Stop in /src.
TB --- 2013-07-08 03:44:20 - WARNING: /usr/bin/make returned exit code  1 
TB --- 2013-07-08 03:44:20 - ERROR: failed to build AC100 kernel
TB --- 2013-07-08 03:44:20 - 8904.93 user 1541.20 system 11039.36 real


http://tinderbox.freebsd.org/tinderbox-head-build-HEAD-armv6-arm.full