From 393f21c30921de34d48b751f6d8d50758982be4c Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Tue, 11 Dec 2018 14:15:38 +0100
Subject: Fix issue #9188 : Enable VST and aactactics in master

---
 dev/ci/gitlab.bat | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'dev/ci')

diff --git a/dev/ci/gitlab.bat b/dev/ci/gitlab.bat
index 386a3de204..2a42a6b58e 100755
--- a/dev/ci/gitlab.bat
+++ b/dev/ci/gitlab.bat
@@ -49,10 +49,9 @@ IF "%WINDOWS%" == "enabled_all_addons" (
     -addon=compcert ^
     -addon=extlib ^
     -addon=quickchick ^
-    -addon=coquelicot
-  REM addons with build issues
-  REM -addon=vst ^
-  REM -addon=aactactics ^
+    -addon=coquelicot ^
+    -addon=vst ^
+    -addon=aactactics
 ) ELSE (
   SET "EXTRA_ADDONS= "
 )
-- 
cgit v1.2.3