From 8e6a5901cde6340d937e724752d0b32349290ce0 Mon Sep 17 00:00:00 2001 From: Christoph Berg Date: Sun, 29 Oct 2017 18:41:58 +0100 Subject: [PATCH] Create includedir_server directory when installing headers When using DESTDIR, the target directory is likely not yet existent, create it from the installincludes rule. --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 0717592f5e..bf4dab814f 100644 --- a/Makefile +++ b/Makefile @@ -47,6 +47,7 @@ rum--1.0--1.1.sql: Makefile gen_rum_sql--1.0--1.1.pl install: installincludes installincludes: + $(INSTALL) -d '$(DESTDIR)$(includedir_server)/' $(INSTALL_DATA) $(addprefix $(srcdir)/, $(INCLUDES)) '$(DESTDIR)$(includedir_server)/' ISOLATIONCHECKS= predicate-rum predicate-rum-2