diff options
| -rwxr-xr-x | dts/scripts/cronjob | 2 | ||||
| -rwxr-xr-x | dts/scripts/index-filter.sh | 2 | ||||
| -rwxr-xr-x | dts/scripts/merge-new-release.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/dts/scripts/cronjob b/dts/scripts/cronjob index b7511e4253..ccdbc0607e 100755 --- a/dts/scripts/cronjob +++ b/dts/scripts/cronjob @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash set -e diff --git a/dts/scripts/index-filter.sh b/dts/scripts/index-filter.sh index c301fcea1c..9610855020 100755 --- a/dts/scripts/index-filter.sh +++ b/dts/scripts/index-filter.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash set -e set -o pipefail diff --git a/dts/scripts/merge-new-release.sh b/dts/scripts/merge-new-release.sh index 554b97b8eb..a2763c69bb 100755 --- a/dts/scripts/merge-new-release.sh +++ b/dts/scripts/merge-new-release.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash case $1 in v*-dts) ;; |