Merge branch 'develop' into rav/SYN-642

2026-05-11 19:44:44 +00:00 · 2016-03-03 19:14:02 +00:00
parent a85179aff3 62d808becc
commit 361fc53917
4 changed files with 12 additions and 4 deletions
@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux

 : ${WORKSPACE:="$(pwd)"}

@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux

 : ${WORKSPACE:="$(pwd)"}

@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux

 : ${WORKSPACE:="$(pwd)"}

@@ -1,4 +1,6 @@
-#!/bin/bash -eu
+#!/bin/bash
+
+set -eux

 : ${WORKSPACE:="$(pwd)"}