Check if we have all the tools
This commit is contained in:
parent
064513ba06
commit
259b4cba9e
6
d
6
d
@ -3,6 +3,12 @@
|
|||||||
set -e
|
set -e
|
||||||
cd $(dirname $0)
|
cd $(dirname $0)
|
||||||
|
|
||||||
|
die() { echo "$*" 1>&2; exit 1; }
|
||||||
|
|
||||||
|
for i in jq wget svd git; do
|
||||||
|
command -v "$i" &>/dev/null || die "Missing the command line tool '$i'"
|
||||||
|
done
|
||||||
|
|
||||||
case "$1" in
|
case "$1" in
|
||||||
download_all)
|
download_all)
|
||||||
./d download_mcufinder
|
./d download_mcufinder
|
||||||
|
Loading…
x
Reference in New Issue
Block a user