Even if a generated header is not changed, it is touched to avoid future rebuilds.

darcs-hash:20070725085012-f2ef6-9b2765d610c60f0d0249eeeffd6613f0c284e312.gz

diff --git a/snippets/config_h b/snippets/config_h
index b753be49a1cc77eca06db592175dbf458d6dbdf0..70f45479f9fab1566f39def5bb2e5d8e104e49cb 100644 (file)
--- a/snippets/config_h
+++ b/snippets/config_h
@@ -22,7 +22,7 @@ $(1) : $(wildcard $(CONFIG_FILE)) $(wildcard $(CONFIG_FILE)-default)
                sed -n -e 's/^\([^.]*\)\.\(.*\)$$$$/#define \1 \2/p' \
                  >> "$(1).tmp"
        @echo "#endif /*$(3)*/" >> "$(1).tmp"
-       @if cmp --quiet "$(1).tmp" "$(1)" ; then rm "$(1).tmp" ; \
+       @if cmp --quiet "$(1).tmp" "$(1)" ; then rm "$(1).tmp"; touch "$(1)" ; \
        else mv "$(1).tmp" "$(1)" ; \
        echo Updated configuration "$(1)" ; fi