#! /bin/sh set -e if [ "$1" = "configure" ]; then sudo tos-install-jni fi