Merge pull request #115 from ethereum/dev

Merge `dev` -> `master`
This commit is contained in:
Carl Beekhuizen 2020-09-22 14:09:29 +02:00 committed by GitHub
commit 4fb74da2a2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,6 @@
#!/bin/bash
if [[ "$OSTYPE" == "linux"* ]] || [[ "$OSTYPE" == "darwin"* ]]; then
if [[ "$OSTYPE" == "linux"* ]] || [[ "$OSTYPE" == "linux-android"* ]] || [[ "$OSTYPE" == "darwin"* ]]; then
echo $OSTYPE
if [[ $1 == "install" ]]; then
echo "Installing dependencies..."