diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2025-02-01 08:07:24 +0100 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2025-02-01 10:54:27 +0100 |
| commit | bb870cb98fd6885b2e1d1c6ae0af5b1c32663d8a (patch) | |
| tree | 846e03715a68fce495ac1a16738a42a907a90912 /scripts | |
| parent | e262227d65afa0978e064e38079e26a8c8d478ac (diff) | |
Add FreeBSD CI build
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/get-and-build-libndpi.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/get-and-build-libndpi.sh b/scripts/get-and-build-libndpi.sh index d1d749052..ef4db7e2c 100755 --- a/scripts/get-and-build-libndpi.sh +++ b/scripts/get-and-build-libndpi.sh @@ -6,6 +6,7 @@ GIT_EXEC="$(command -v git || printf '%s' "")" WGET_EXEC="$(command -v wget || printf '%s' "")" UNZIP_EXEC="$(command -v unzip || printf '%s' "")" MAKE_EXEC="$(command -v make || printf '%s' "")" +FLOCK_EXEC="$(command -v flock || printf '%s' "")" if [ -z "${NDPI_COMMIT_HASH}" ]; then NDPI_COMMIT_HASH="dev" @@ -14,15 +15,15 @@ else GITHUB_FALLBACK_URL="https://github.com/ntop/nDPI/archive/${NDPI_COMMIT_HASH}.zip" fi -if [ -z "${GIT_EXEC}" -o -z "${WGET_EXEC}" -o -z "${UNZIP_EXEC}" -o -z "${MAKE_EXEC}" ]; then - printf '%s\n' "Required Executables missing: git, wget, unzip, make" >&2 +if [ -z "${GIT_EXEC}" -o -z "${WGET_EXEC}" -o -z "${UNZIP_EXEC}" -o -z "${MAKE_EXEC}" -o -z "${FLOCK_EXEC}" ]; then + printf '%s\n' "Required Executables missing: git, wget, unzip, make, flock" >&2 exit 1 fi LOCKFILE="$(realpath "${0}").lock" touch "${LOCKFILE}" exec 42< "${LOCKFILE}" -flock -x -n 42 || { +${FLOCK_EXEC} -x -n 42 || { printf '%s\n' "Could not aquire file lock for ${0}. Already running instance?" >&2; exit 1; } |