Makefile.in
changeset 9758 411958cd652d
parent 9698 1e23903d233b
child 9903 2c511d591fc8
--- a/Makefile.in	Thu Jul 31 14:00:01 2008 +0000
+++ b/Makefile.in	Thu Jul 31 14:32:35 2008 +0000
@@ -37,7 +37,7 @@
 AWK = !!AWK!!
 DISTCC = !!DISTCC!!
 
-RES := $(shell if ! [ -f $(CONFIG_CACHE_SOURCE_LIST) ] || [ -n "`cmp $(CONFIG_CACHE_SOURCE_LIST) $(SOURCE_LIST)`" ]; then cp $(SOURCE_LIST) $(CONFIG_CACHE_SOURCE_LIST); fi )
+RES := $(shell if [ ! -f $(CONFIG_CACHE_SOURCE_LIST) ] || [ -n "`cmp $(CONFIG_CACHE_SOURCE_LIST) $(SOURCE_LIST)`" ]; then cp $(SOURCE_LIST) $(CONFIG_CACHE_SOURCE_LIST); fi )
 
 all: config.cache
 ifdef DISTCC