From 5d24f5d09a101b8f46750c0173c1ed2f84d6a237 Mon Sep 17 00:00:00 2001 From: Andrew Kane Date: Sat, 4 Nov 2023 11:16:40 -0700 Subject: [PATCH] Improved header installation on Windows --- Makefile.win | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.win b/Makefile.win index fbe5768..f6d955a 100644 --- a/Makefile.win +++ b/Makefile.win @@ -56,7 +56,7 @@ install: copy $(EXTENSION).control "$(SHAREDIR)\extension" copy sql\$(EXTENSION)--*.sql "$(SHAREDIR)\extension" mkdir "$(INCLUDEDIR_SERVER)\extension\$(EXTENSION)" - copy $(HEADERS) "$(INCLUDEDIR_SERVER)\extension\$(EXTENSION)" + for %f in ($(HEADERS)) do copy %f "$(INCLUDEDIR_SERVER)\extension\$(EXTENSION)" installcheck: "$(BINDIR)\pg_regress" --bindir="$(BINDIR)" $(REGRESS_OPTS) $(REGRESS)