From 887c5b67a9a1881dc40e29daf46d7f927f21148c Mon Sep 17 00:00:00 2001
From: Alessandro Comodi <acomodi@antmicro.com>
Date: Mon, 2 Sep 2019 17:45:45 +0200
Subject: [PATCH] exclude docs in `make test`

Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 73a04051..e314689c 100644
--- a/Makefile
+++ b/Makefile
@@ -34,7 +34,7 @@ build:
 
 # Run tests of code.
 # ------------------------
-TEST_EXCLUDE = $(foreach x,$(ALL_EXCLUDE) fuzzers minitests experiments,--ignore $(x))
+TEST_EXCLUDE = $(foreach x,$(ALL_EXCLUDE) docs fuzzers minitests experiments,--ignore $(x))
 
 test: test-py test-cpp
 	@true