diff options
Diffstat (limited to 'scripts/get-and-build-libndpi.sh')
| -rwxr-xr-x | scripts/get-and-build-libndpi.sh | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/scripts/get-and-build-libndpi.sh b/scripts/get-and-build-libndpi.sh index 35a6bd8b1..a3c0c52b6 100755 --- a/scripts/get-and-build-libndpi.sh +++ b/scripts/get-and-build-libndpi.sh @@ -38,12 +38,14 @@ cd "$(dirname "${0}")/.." if [ -d ./.git ]; then git submodule update --init ./libnDPI else - printf '%s' '-----------------------------------' - printf 'WARNING: %s is supposed to be a GIT repository. But it is not.' "$(realpath $(dirname "${0}")/..)" - printf '%s' 'Can not clone libnDPI as GIT submodule.' - printf '%s' 'Falling back to Github direct download.' - printf 'URL: %s' "${GITHUB_FALLBACK_URL}" - printf '%s' '-----------------------------------' + set +x + printf '%s\n' '-----------------------------------' + printf 'WARNING: %s is supposed to be a GIT repository. But it is not.\n' "$(realpath $(dirname "${0}")/..)" + printf '%s\n' 'Can not clone libnDPI as GIT submodule.' + printf '%s\n' 'Falling back to Github direct download.' + printf 'URL: %s\n' "${GITHUB_FALLBACK_URL}" + printf '%s\n' '-----------------------------------' + set -x wget "${GITHUB_FALLBACK_URL}" -O ./libnDPI-github-dev.zip unzip ./libnDPI-github-dev.zip mv ./nDPI-dev ./libnDPI |