[PATCH 1/1] wip

[Rémi Bernon]

From: Rémi Bernon

---
 tools/gitlab/build.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/gitlab/build.yml b/tools/gitlab/build.yml
index b474f271c8b..abb41a50b22 100644
--- a/tools/gitlab/build.yml
+++ b/tools/gitlab/build.yml
@@ -34,6 +34,12 @@ build-linux:
     paths:
       - usr/local/
   script:
+    - type i686-w64-mingw32-gcc ||:
+    - type x86_64-w64-mingw32-gcc ||:
+    - type gcc ||:
+    - type i686-linux-gnu-gcc ||:
+    - type x86_64-linux-gnu-gcc ||:
+    - fail
     - git rebase $CI_MERGE_REQUEST_DIFF_BASE_SHA --exec ./tools/gitlab/build-linux

build-mac: