mirror of
https://github.com/ElementsProject/elements.git
synced 2026-08-20 13:37:28 +02:00
guix: Add curl to required tool list
This commit is contained in:
parent
e52ce9f2b3
commit
97f10621f4
1 changed files with 1 additions and 1 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue