aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn Levon <john.levon@nutanix.com>2021-06-01 19:33:01 +0100
committerGitHub <noreply@github.com>2021-06-01 19:33:01 +0100
commit8ac2360a8aefbd2dd11c65f2b2e21565c36c0ee6 (patch)
treee28c10e95252fe738fe38c3f949190d9e53a4062 /Makefile
parent9c37a1813b65899ad3b0288a51b0cf1c372ee775 (diff)
downloadlibvfio-user-8ac2360a8aefbd2dd11c65f2b2e21565c36c0ee6.zip
libvfio-user-8ac2360a8aefbd2dd11c65f2b2e21565c36c0ee6.tar.gz
libvfio-user-8ac2360a8aefbd2dd11c65f2b2e21565c36c0ee6.tar.bz2
check spec with rst-lint (#549)
Signed-off-by: John Levon <john.levon@nutanix.com> Reviewed-by: Thanos Makatos <thanos.makatos@nutanix.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e4dad2f..dca2d38 100644
--- a/Makefile
+++ b/Makefile
@@ -53,6 +53,7 @@ ifeq ($(VERBOSE),)
endif
CMAKE = $(shell bash -c "command -v cmake3 cmake" | head -1)
+RSTLINT= $(shell bash -c "command -v restructuredtext-lint /bin/true" | head -1)
BUILD_DIR_BASE = $(CURDIR)/build
BUILD_DIR = $(BUILD_DIR_BASE)/$(BUILD_TYPE)
@@ -63,6 +64,7 @@ INSTALL_PREFIX ?= /usr/local
.PHONY: pre-push clean realclean tags gcov
all install: $(BUILD_DIR)/Makefile
+ $(RSTLINT) docs/vfio-user.rst
+$(MAKE) -C $(BUILD_DIR) $@
#