diff --git a/scripts/install-includes.make b/scripts/install-includes.make new file mode 100644 index 0000000000000000000000000000000000000000..5fedfdba2c1edbe0343288833d993fc52eabb836 --- /dev/null +++ b/scripts/install-includes.make @@ -0,0 +1,7 @@ +.PHONY: includes +includes: + for i in $(INSTALL-HDRS);\ + do \ + ( cmp $$i $(INCLUDEDIR)/$$i 2>/dev/null ) \ + || cp $$i $(INCLUDEDIR)/$$i; \ + done