From ffa4df5f6c980a7b80c71c9ffdcdf00bf75c3402 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 24 Mar 2018 12:44:43 +0100
Subject: [PATCH] fix buildjob

---
 buildjob | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/buildjob b/buildjob
index 9914eff..3fbf96e 100755
--- a/buildjob
+++ b/buildjob
@@ -13,8 +13,8 @@ set -e
 ##   empty.
 
 # Parepare
-. ci/ansi-colors
-. ci/prepare-opam $OPAM_PINS
+. ci/ansi-colors.sh
+. ci/prepare-opam.sh $OPAM_PINS # deliberately not quoted
 env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
 
 # Build
-- 
GitLab