jenkins: add headers to scripts

Add headers and shebangs to each of the Jenkins scripts.

Signed-off-by: Ken Dreyer <ken.dreyer@inktank.com>

diff --git a/jenkins/build b/jenkins/build
index a0c8d16fc8a63352a58b23eecac3e11eeec7e0de..e9a50684bb02d920720d25658d41976a5f2daee4 100644 (file)
--- a/jenkins/build
+++ b/jenkins/build
@@ -1,3 +1,8 @@
+#!/bin/sh
+
+# This is a script that runs inside Jenkins.
+# http://jenkins.ceph.com/job/ceph-build/
+
 #export GNUPGHOME=/home/jenkins-build/build/gnupg.autobuild/
 export GNUPGHOME=/home/jenkins-build/build/gnupg.ceph-release/
 export KEYID=17ED316D

diff --git a/jenkins/package b/jenkins/package
index 9f8fa7023867a04ae257d9f64ec17b9b7af5af6d..90d020146cb00a23c82f5958880095010841f9b1 100644 (file)
--- a/jenkins/package
+++ b/jenkins/package
@@ -1,3 +1,8 @@
+#!/bin/sh
+
+# This is a script that runs inside Jenkins.
+# http://jenkins.ceph.com/job/ceph-package/
+
 #
 for dir in * ; do
    echo $dir

diff --git a/jenkins/setup b/jenkins/setup
index 996e1908bb5020eb3cc04242b898d0854117a4ee..8a18e34055d05dc3f0fff5dddacf820f3035a9ab 100644 (file)
--- a/jenkins/setup
+++ b/jenkins/setup
@@ -1,3 +1,8 @@
+#!/bin/sh
+
+# This is a script that runs inside Jenkins.
+# http://jenkins.ceph.com/job/ceph-setup/
+
 #export GNUPGHOME=/home/jenkins-build/build/gnupg.autobuild/
 export GNUPGHOME=/home/jenkins-build/build/gnupg.ceph-release/
 export KEYID=17ED316D