diff --git a/build/opam-ci.sh b/build/opam-ci.sh
index b6925ba58c8518c2f6a73ad74833861073ff9578..bc51df87ef1e4c3867512df9f8b309111109a151 100755
--- a/build/opam-ci.sh
+++ b/build/opam-ci.sh
@@ -63,5 +63,6 @@ echo "[opam-ci] Installing build-dependencies"
 make build-dep OPAMFLAGS=-y
 
 # done
+set +x
 echo
 coqc -v