blob: 0a24c1e0a64e0bd70aefbc1b768eeb0e9be8b5e4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- src/pipelinedb-1.0.0-13/Makefile 2019-02-19 20:59:21.000000000 +0100
+++ Makefile 2019-05-14 14:34:40.957982147 +0200
@@ -49,7 +49,7 @@
bin_dir = ./bin
-headers_dir = $(shell $(PG_CONFIG) --includedir-server)/../pipelinedb
+headers_dir = $(DESTDIR)$(shell $(PG_CONFIG) --includedir-server)/../pipelinedb
# Headers for other extensions to build against
install-headers:
|