Remove unused parts of one_liner.sh
This commit is contained in:
parent
5158646dc0
commit
b9ec48863d
1 changed files with 5 additions and 12 deletions
|
@ -233,12 +233,6 @@ err() {
|
||||||
exit 1
|
exit 1
|
||||||
}
|
}
|
||||||
|
|
||||||
need() {
|
|
||||||
if ! command -v $1 > /dev/null 2>&1; then
|
|
||||||
err "need $1 (command not found)"
|
|
||||||
fi
|
|
||||||
}
|
|
||||||
|
|
||||||
main() {
|
main() {
|
||||||
need_cmd curl
|
need_cmd curl
|
||||||
|
|
||||||
|
@ -259,12 +253,11 @@ main() {
|
||||||
done
|
done
|
||||||
|
|
||||||
# Dependencies
|
# Dependencies
|
||||||
need basename
|
need_cmd curl
|
||||||
need curl
|
need_cmd install
|
||||||
need install
|
need_cmd mkdir
|
||||||
need mkdir
|
need_cmd mktemp
|
||||||
need mktemp
|
need_cmd tar
|
||||||
need tar
|
|
||||||
|
|
||||||
git="ZoKrates/ZoKrates"
|
git="ZoKrates/ZoKrates"
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue