From 527b84199f60b90097aaa94fbdc3876663133a5e Mon Sep 17 00:00:00 2001 From: John Levon Date: Wed, 26 May 2021 14:26:53 +0100 Subject: fix `make install` (#531) And make sure the target is tested in CI. Reported-by: Karol Latecki Signed-off-by: John Levon Reviewed-by: Thanos Makatos --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index f3b7779..e4dad2f 100644 --- a/Makefile +++ b/Makefile @@ -59,10 +59,10 @@ BUILD_DIR = $(BUILD_DIR_BASE)/$(BUILD_TYPE) INSTALL_PREFIX ?= /usr/local -.PHONY: all test pytest pytest-valgrind +.PHONY: all install test pytest pytest-valgrind .PHONY: pre-push clean realclean tags gcov -all: $(BUILD_DIR)/Makefile +all install: $(BUILD_DIR)/Makefile +$(MAKE) -C $(BUILD_DIR) $@ # @@ -127,6 +127,7 @@ pre-push: realclean make test CC=gcc BUILD_TYPE=rel make test CC=gcc make pytest-valgrind + make install DESTDIR=tmp.install GCOVS=$(patsubst %.c,%.c.gcov, $(wildcard lib/*.c)) -- cgit v1.1