diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2021-03-01 09:53:01 +0200 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2021-03-01 09:53:01 +0200 |
| commit | 97f10621f4b76fbfcc0849b10d5edb4d6898ec5e (patch) | |
| tree | 0f4526fce128145828d47b231a631006331e0f35 /contrib/guix | |
| parent | e52ce9f2b312b3cf3b0837918e07d7603e241d63 (diff) | |
guix: Add curl to required tool list
Diffstat (limited to 'contrib/guix')
| -rwxr-xr-x | contrib/guix/guix-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/guix/guix-build.sh b/contrib/guix/guix-build.sh index 333e18d4ed..c39e9fe9b2 100755 --- a/contrib/guix/guix-build.sh +++ b/contrib/guix/guix-build.sh @@ -9,7 +9,7 @@ set -e -o pipefail ################ # Check 1: Make sure that we can invoke required tools ################ -for cmd in git make guix cat mkdir; do +for cmd in git make guix cat mkdir curl; do if ! command -v "$cmd" > /dev/null 2>&1; then echo "ERR: This script requires that '$cmd' is installed and available in your \$PATH" exit 1 |