config.lib
branchNewGRF_ports
changeset 6877 889301acc299
parent 6872 1c4a4a609f85
child 10184 fcf5fb2548eb
--- a/config.lib	Sun Feb 03 01:34:21 2008 +0000
+++ b/config.lib	Sun Feb 03 20:34:26 2008 +0000
@@ -635,7 +635,7 @@
 		distcc="$with_distcc"
 	fi
 	if [ "$with_distcc" != "0" ]; then
-		res="`$distcc --version 2>/dev/null | head -n 1 | cut -b 0-6`"
+		res="`$distcc --version 2>/dev/null | head -n 1 | cut -b 1-6`"
 		if [ "$res" != "distcc" ]; then
 			distcc=""
 			log 1 "checking distcc... no"
@@ -664,7 +664,7 @@
 		ccache="$with_ccache"
 	fi
 	if [ "$with_ccache" != "0" ]; then
-		res="`$ccache --version 2>/dev/null | head -n 1 | cut -b 0-6`"
+		res="`$ccache --version 2>/dev/null | head -n 1 | cut -b 1-6`"
 		if [ "$res" != "ccache" ]; then
 			ccache=""
 			log 1 "checking ccache... no"