Browse Source

Gitlab CI: Test OcLaunch once installed

Leo 9 years ago
parent
commit
0842b813a9
1 changed files with 4 additions and 0 deletions
  1. 4 0
      gitlab-ci.sh

+ 4 - 0
gitlab-ci.sh

@@ -30,3 +30,7 @@ opam pin add oclaunch-ci .
 # Building OcLaunch and running tests
 # Building OcLaunch and running tests
 ./configure --enable-tests
 ./configure --enable-tests
 make test
 make test
+
+# Test the produced binary
+oclaunch -version
+oclaunch