From 8ebd0d3f038d1c2286560fee2070ef59a968a92b Mon Sep 17 00:00:00 2001
From: Ana Daouda <anadaouda@gmail.com>
Date: Tue, 20 Aug 2019 12:04:01 -0400
Subject: [PATCH] .gitlab-ci.yml: adding a Windows build test

Signed-off-by: Ana Daouda <anadaouda@gmail.com>
---
 .gitlab-ci.yml |   13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8c08847..fd21031 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -441,3 +441,16 @@ bench_old:
     - benchmarks/bench_old.sh
   allow_failure: true # time is unreliable. manual check required
   services: []
+
+build_tools_windows:
+  stage: build
+  before_script:
+    - date
+  after_script:
+    - date
+  tags:
+    - windows
+  script:
+    - $project_dir = "$CI_PROJECT_DIR" -replace "\\", "\\\"
+    - $converted_project_dir = $(c:\msys64\usr\bin\bash -l -c "cygpath -u $project_dir")
+    - c:\msys64\usr\bin\env MSYSTEM=MINGW64 c:\msys64\usr\bin\bash -l -c "cd $converted_project_dir; make"
-- 
1.7.9.5