From e648854e218fc7602851b68d57f9de57720c776b Mon Sep 17 00:00:00 2001
From: inv <inv@opencascade.com>
Date: Thu, 22 Jul 2010 16:06:21 +0000
Subject: [PATCH] invoke build.sh script with -b option

---
 config_files/KERNEL.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config_files/KERNEL.sh b/config_files/KERNEL.sh
index b834039..a4fd410 100755
--- a/config_files/KERNEL.sh
+++ b/config_files/KERNEL.sh
@@ -88,7 +88,7 @@ fi
 
 CUR_DIR=`pwd`
 cd ${INST_ROOT}
-check_jb ./build.sh -o -c -d -v 0 -p $INST_ROOT KERNEL
+check_jb ./build.sh -o -b -d -v 0 -p $INST_ROOT KERNEL
 
 # create environment for the built binaries
 cd $CUR_DIR
-- 
2.39.2