# build tools
${BUILDRUMP}/buildrump.sh ${BUILD_QUIET} ${STDJ} -k \
-V MKPIC=no -s ${RUMPSRC} -T rumptools -o rumpobj \
- -V RUMP_KERNEL_IS_LIBC=1 -V BUILDRUMP_SYSROOT=yes \
- -V RUMP_CURLWP=__thread "$@" tools
+ -V RUMP_KERNEL_IS_LIBC=1 -V BUILDRUMP_SYSROOT=yes "$@" tools
[ -n "${BUILDXENMETAL_MKCONF}" ] \
&& echo "${BUILDXENMETAL_MKCONF}" >> rumptools/mk.conf
# build rump kernel
${BUILDRUMP}/buildrump.sh ${BUILD_QUIET} ${STDJ} -k \
-V MKPIC=no -s ${RUMPSRC} -T rumptools -o rumpobj \
- -V RUMP_KERNEL_IS_LIBC=1 -V BUILDRUMP_SYSROOT=yes \
- -V RUMP_CURLWP=__thread "$@" build kernelheaders install
+ -V RUMP_KERNEL_IS_LIBC=1 -V BUILDRUMP_SYSROOT=yes "$@" \
+ build kernelheaders install
LIBS="$(stdlibs ${RUMPSRC}) $(pwd)/../../lib/librumprun_tester"
if [ "$(${RUMPMAKE} -f rumptools/mk.conf -V '${_BUILDRUMP_CXX}')" = 'yes' ]