Parcourir la source

Fix Gitlab CI

There was an error coming from oclaunch, asking for a language.
Leo il y a 9 ans
Parent
commit
33b586812b
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      gitlab-ci.sh

+ 1 - 1
gitlab-ci.sh

@@ -33,4 +33,4 @@ make test
 
 # Test the produced binary
 oclaunch -version
-oclaunch
+echo "En" | oclaunch