pushd tools > /dev/null || die

		local dir

		for dir in tools tools/auto_index/build; do

			pushd "$dir" > /dev/null || die

		ejam \

			ejam \

			${OPTIONS} \

				${OPTIONS} \

			${PYTHON_OPTIONS} \

				${PYTHON_OPTIONS} \

			|| die "Building of Boost tools failed"

				|| die "Building of Boost $dir failed"

		popd > /dev/null || die

			popd > /dev/null || die

		done