From c04dbdba8e0f3677b2f67e0495f933ca3a8da184 Mon Sep 17 00:00:00 2001
From: Luigi Rizzo <luigi@FreeBSD.org>
Date: Mon, 6 Jan 2014 08:09:19 +0000
Subject: [PATCH] do not use capsicum when building picobsd images

---
 release/picobsd/build/picobsd | 1 +
 1 file changed, 1 insertion(+)

diff --git a/release/picobsd/build/picobsd b/release/picobsd/build/picobsd
index 26e1b08a898..2e3d290bc99 100755
--- a/release/picobsd/build/picobsd
+++ b/release/picobsd/build/picobsd
@@ -166,6 +166,7 @@ create_includes_and_libraries2() { # opt_dir opt_target
     log "create_includes_and_libraries2() for ${SRC} $1"
     if [ ${OSVERSION} -ge 600000 ] ; then
 	no="-DNO_CLEAN -DNO_PROFILE -DNO_GAMES -DNO_LIBC_R" # WITHOUT_CDDL=1"
+	no="$no -DWITHOUT_CASPER"
 	no="$no -DMALLOC_PRODUCTION"
     else
 	no="-DNOCLEAN -DNOPROFILE -DNOGAMES -DNOLIBC_R"