1#!/bin/sh 2 3JOBDIR=${WORKSPACE}/`dirname $0` 4 5env \ 6 JFLAG=${BUILDER_JFLAG} \ 7 TARGET=arm \ 8 TARGET_ARCH=armv7 \ 9 MAKECONF=${JOBDIR}/make.conf \ 10 sh -x ${WORKSPACE}/freebsd-ci/scripts/build/build-world-kernel-head.sh 11 12