opendev/gerrit
Code Issues Proposed changes

Merge "Use bash for generated scripts"

Browse Source
This commit is contained in:
Edwin Kempin
2016-06-09 16:57:33 +00:00
committed by Gerrit Code Review
parent eab1ada1e2 81dddc3bf8
commit afe1cef1ab
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/maven/package.defs
View File

@@ -13,7 +13,7 @@
# limitations under the License. # limitations under the License.
sh_bang_template = (' && '.join([ sh_bang_template = (' && '.join([
"echo '#!/bin/sh -eu' > $OUT", "echo '#!/bin/bash -eu' > $OUT",
'echo "# this script should run from the root of your workspace." >> $OUT', 'echo "# this script should run from the root of your workspace." >> $OUT',
'echo "" >> $OUT', 'echo "" >> $OUT',
"echo 'if [[ -n \"$${VERBOSE:-}\" ]]; then set -x ; fi' >> $OUT", "echo 'if [[ -n \"$${VERBOSE:-}\" ]]; then set -x ; fi' >> $OUT",