From 750e5e6d95cbd6cd493c13261d6a4bc4bb630b95 Mon Sep 17 00:00:00 2001
From: Patrick Pelissier <patrick.pelissier@gmail.com>
Date: Mon, 25 Nov 2019 22:50:50 +0100
Subject: [PATCH] Add target checkall at root Makefile

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 32fb4b28..42371067 100644
--- a/Makefile
+++ b/Makefile
@@ -31,6 +31,10 @@ check:
 	cd tests && $(MAKE) check
 	cd example && $(MAKE) all
 
+checkall:
+	cd tests && $(MAKE) checkall
+	cd example && $(MAKE) all
+
 html:	doc
 doc:	README.md doc/depend.png
 	markdown < README.md > README.html