diff options
Diffstat (limited to 'tools/release-external')
| -rwxr-xr-x | tools/release-external/release-external | 2 | ||||
| -rwxr-xr-x | tools/release-external/release-external-helper | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/release-external/release-external b/tools/release-external/release-external index 822b40e5..c674970a 100755 --- a/tools/release-external/release-external +++ b/tools/release-external/release-external @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (C) 2016 Paul Kocialkowski <contact@paulk.fr> # diff --git a/tools/release-external/release-external-helper b/tools/release-external/release-external-helper index 53a3f467..bde03cfe 100755 --- a/tools/release-external/release-external-helper +++ b/tools/release-external/release-external-helper @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash release_external_files() { find "$root/$RELEASE" -type f | grep -vP "\.$ASC|\.$SHA256SUM" |