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 | 4 |
2 files changed, 3 insertions, 3 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..f10ac41a 100755 --- a/tools/release-external/release-external-helper +++ b/tools/release-external/release-external-helper @@ -1,5 +1,5 @@ -#!/bin/bash +#!/usr/bin/env bash release_external_files() { - find "$root/$RELEASE" -type f | grep -vP "\.$ASC|\.$SHA256SUM" + find "$root/$RELEASE" -type f | grep -vP "\.$DSIG|\.$CHECKSUM" } |