diff options
Diffstat (limited to 'dts')
| -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 ccdbc0607e..b7511e4253 100755 --- a/dts/scripts/cronjob +++ b/dts/scripts/cronjob @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/dts/scripts/index-filter.sh b/dts/scripts/index-filter.sh index 9610855020..c301fcea1c 100755 --- a/dts/scripts/index-filter.sh +++ b/dts/scripts/index-filter.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e set -o pipefail diff --git a/dts/scripts/merge-new-release.sh b/dts/scripts/merge-new-release.sh index a2763c69bb..554b97b8eb 100755 --- a/dts/scripts/merge-new-release.sh +++ b/dts/scripts/merge-new-release.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash case $1 in v*-dts) ;; |