From 5141ae25a5fa54bf9981256839fa4248ac1b8a60 Mon Sep 17 00:00:00 2001
From: Matt Wala <wala1@illinois.edu>
Date: Thu, 24 Jan 2019 17:49:22 -0600
Subject: [PATCH] Revert "Echo back commands"

This reverts commit cbd8790c4d1b7e161e5f7056f7e372238d790897.
---
 .gitlab-ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f4c46c5a..3d622b7b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -255,7 +255,6 @@
 #
 Pylint:
   script:
-  - set -x    
   - EXTRA_INSTALL="pybind11 numpy mako"
   - py_version=3.6
   - curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/prepare-and-run-pylint.sh
-- 
GitLab