# Not every platform has or needs sudo, gotta save them O(1)s...
sudo_cmd=""
if [ type -p sudo ]; then
((EUID)) && [[ -z "$ANDROID_ROOT" ]] && sudo_cmd="sudo"
fi