Apply band-aid to install-build-headers (#114)

This commit is contained in:
Nicolas Williams
2016-11-10 17:57:43 -06:00
parent a013e93e95
commit ab65f51c52

View File

@@ -101,7 +101,7 @@ install-build-headers:: $(include_HEADERS) $(dist_include_HEADERS) $(nodist_incl
if cmp -s $$file $(buildinclude)/$$f 2> /dev/null ; then \
: ; else \
echo " $(CP) $$file $(buildinclude)/$$f"; \
$(CP) $$file $(buildinclude)/$$f; \
$(CP) $$file $(buildinclude)/$$f || true; \
fi ; \
done ; \
foo='$(nobase_include_HEADERS)'; \