From a49badbb66e4ecaf7f366f5fb4c39718d517e20d Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jeremy@system76.com>
Date: Sat, 6 Jul 2019 12:57:13 -0600
Subject: [PATCH] Build tests for redox

---
 .gitlab-ci.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c097e87f2f..1e2d706f2d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,8 +35,18 @@ test:linux:
     dependencies:
         - build:linux
     script:
-        - make test
-        - cd tests && make verify
+        - make -C tests verify
+
+test:redox:
+    stage: test
+    dependencies:
+        - build:redox
+    variables:
+        TARGET: x86_64-unknown-redox
+    script:
+        - export RUSTUP_TOOLCHAIN="$HOME/.redoxer/toolchain"
+        - export PATH="$RUSTUP_TOOLCHAIN/bin:$PATH"
+        - make -C tests all
 
 fmt:
     stage: test