From ba64d9fe5aabe0e6c69c691e2d4644a8e12b1ede Mon Sep 17 00:00:00 2001 From: Mark Haines Date: Tue, 2 Aug 2016 14:18:55 +0100 Subject: [PATCH] Remove thing from jenkins.sh --- jenkins.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/jenkins.sh b/jenkins.sh index 6c5f650a..717e8644 100755 --- a/jenkins.sh +++ b/jenkins.sh @@ -1,7 +1,5 @@ #! /bin/bash -git rev-parse --abbrev-ref HEAD 2>/dev/null; git describe --exact-match 2>/dev/null; git rev-parse --short HEAD 2>/dev/null; - set -ex (cd event-schemas/ && ./check_examples.py)