#!/bin/bash build_root=`pwd` cd ../ wsroot=`pwd` # PATH 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 echo Saving PATH settings in `pwd`/path_setup echo Source this file later, as needed cat >path_setup <