#!/bin/sh ######################################################################## get_key_value() { echo "$1" | sed 's/^--[a-zA-Z_-]*=//' } usage() { cat < /dev/null 2>&1 then make=gmake else make=make fi if test -z "$CC" ; then CC=gcc fi if test -z "$CXX" ; then CXX=gcc fi # If ccache (a compiler cache which reduces build time) # (http://samba.org/ccache) is installed, use it. # We use 'grep' and hope 'grep' will work as expected # (returns 0 if finds lines) if test "$USING_GCOV" != "1" then # Not using gcov; Safe to use ccache CCACHE_GCOV_VERSION_ENABLED=1 fi if ccache -V > /dev/null 2>&1 && test "$CCACHE_GCOV_VERSION_ENABLED" = "1" then echo "$CC" | grep "ccache" > /dev/null || CC="ccache $CC" echo "$CXX" | grep "ccache" > /dev/null || CXX="ccache $CXX" fi