wsroot=`pwd`
# PATH
-CCACHE_DIR="$build_root/.ccache"
+if [[ ! $CCACHE_DIR ]];then
+ CCACHE_DIR="$build_root/.ccache"
+fi
ADD_TO_PATH="$build_root/tools/ccache-bin:$build_root/tools/bin"
# Construct build-config.mk
cd $build_root
-echo SOURCE_PATH = $wsroot > build-config.mk
+echo SOURCE_PATH = $wsroot $wsroot/plugins/ > build-config.mk
echo
echo Saving PATH settings in `pwd`/path_setup
echo Source this file later, as needed