From 433a2661613ecef44455ce2fd7148c9a7ddf8e9c Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Fri, 6 Nov 2020 14:17:45 +0100
Subject: [PATCH] rm extra from regular run

---
 test/Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/test/Makefile b/test/Makefile
index 4e957b57b..2dd104d33 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -5,8 +5,6 @@ ifeq ($(ARCH),kvx)
 else
 	DIRS=c compression raytracer spass regression extra
 endif
-DIRS=c compression raytracer spass regression \
-     extra
 PICOSAT=picosat-965
 
 ifeq ($(CLIGHTGEN),true)
-- 
GitLab