bootstrap.ci: stop echoing executed commands

2018-05-20 11:51:50 +02:00 · 2018-05-20 11:51:50 +02:00 · 4590d915b9
parent 882080cdf7
commit 4590d915b9
1 changed files with 1 additions and 1 deletions
--- a/bootstrap.ci
+++ b/bootstrap.ci
@ -36,7 +36,7 @@ do
 done

 set -e
-set -x
+
 if [ -f Makefile ]; then
  make distclean
 fi