From c3acf1ed9cec4b2d413d58b38cf4f5e1b4f60139 Mon Sep 17 00:00:00 2001 From: Ghe Rivero Date: Fri, 23 Nov 2012 16:25:14 +0100 Subject: [PATCH] fix crappy header --- flavours/jenkins/install.d/11-jenkins-plugins | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flavours/jenkins/install.d/11-jenkins-plugins b/flavours/jenkins/install.d/11-jenkins-plugins index 4d18afd7..5665533b 100755 --- a/flavours/jenkins/install.d/11-jenkins-plugins +++ b/flavours/jenkins/install.d/11-jenkins-plugins @@ -1,4 +1,4 @@ -B11;rgb:0000/0000/0000#!/bin/bash +#!/bin/bash set -e set -o xtrace