diff options
| author | Neels Hofmeyr <neels@hofmeyr.de> | 2016-10-17 18:00:42 +0200 |
|---|---|---|
| committer | Neels Hofmeyr <neels@hofmeyr.de> | 2016-10-21 02:22:02 +0200 |
| commit | 4079b4a976958ce564d52a3deb983de55f88ecf2 (patch) | |
| tree | 3d82e4f3f3119a5c2cef8533b2fd0ff1f3c9da0a /contrib | |
| parent | 722c2fd5797a49b96570fbb697eb9b4fc374e237 (diff) | |
jenkins.sh: use sh instead of bash
Change-Id: Ia65e960dc7d74e6bb7a2463316d09622e9788c97
Suggested-by: msuraev
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/jenkins.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index a6f51a8..14af8cc 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh set -ex |