--- configure.orig Sun May 7 20:14:23 2006 +++ configure Sun May 7 20:33:49 2006 @@ -293,9 +293,29 @@ ar="${cross_prefix}${ar}" strip="${cross_prefix}${strip}" -if [ ! -x "`which $cc`" ] ; then +# cc_head=`echo $cc | xargs printf 2> /dev/null` +cc_head=`echo $cc | awk '{ printf $1 }'` +cc_tail=`echo $cc | awk '{ printf $2 }'` + +if [ "$cc_head" = "ccache" ]; then + +if [ ! -x "`which $cc_head`" ] ; then + echo "ccache could not be found" + exit +fi + +if [ ! -x "`which $cc_tail`" ] ; then + echo "Compiler $cc_tail could not be found" + exit +fi + +else + +if [ ! -x "`which $cc_head`" ] ; then echo "Compiler $cc could not be found" exit +fi + fi if test "$mingw32" = "yes" ; then