@ -1,7 +1,7 @@
#!/bin/bash
set -e
# Always execute in the script's directory
pushd ${0%/*}
pushd "$(dirname "$(realpath "$0")")"
repo="https://f-droid.org/repo/"
prebuilt_libs=()