diff options
Diffstat (limited to 'jenkins_build.sh')
| -rwxr-xr-x | jenkins_build.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/jenkins_build.sh b/jenkins_build.sh index fd0f424d..68013721 100755 --- a/jenkins_build.sh +++ b/jenkins_build.sh @@ -1,9 +1,12 @@ #!/bin/bash +echo "#################################" +echo "#### Jenkins Build ############" +echo "#################################" + # Enable tracing and exit on first failure set -xe - # Define reasonable set of browsers in case we are running manually from commandline if [[ -z "$BROWSERS" ]] then |