From 76ab524320e3d4c006c6c94372e0cfda2b62c76e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 22 Oct 2020 15:30:30 +0200
Subject: Build all_stdlib.v in test suite makefile

instead of recursive make
---
 Makefile.common | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 1f59bff183..82d9b89c4f 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -179,8 +179,6 @@ PLUGINSOPT:=$(PLUGINSCMO:.cmo=.cmxs)
 LINKCMO:=$(CORECMA) $(STATICPLUGINS)
 LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cmo=.cmx)
 
-ALLSTDLIB := test-suite/misc/universes/all_stdlib
-
 PLUGINTUTO := doc/plugin_tutorial
 
 # For emacs:
-- 
cgit v1.2.3