diff options
author | Toni Uhlig <matzeton@googlemail.com> | 2021-06-08 21:20:44 +0200 |
---|---|---|
committer | Toni Uhlig <matzeton@googlemail.com> | 2021-06-08 21:20:44 +0200 |
commit | 55ecf068b36c065363f3e6db37d314ae78d9f54d (patch) | |
tree | 3e14ea253644cfeac3a84b98cc738023961ae249 /scripts | |
parent | d3ebb84ce46b613a96e948c20101b76785311fd5 (diff) |
Generate a valid version tuple if build was triggered from an unpacked `make dist` archive.
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/make-dist.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/make-dist.sh b/scripts/make-dist.sh index b978aeb65..c58524e81 100755 --- a/scripts/make-dist.sh +++ b/scripts/make-dist.sh @@ -13,6 +13,7 @@ flock -x -n 42 || { cd "$(dirname "${0}")/.." if [ ! -d ./.git ]; then printf '%s\n' "This script can only by run from a nDPId git repository." >&2 + exit 1; fi git submodule update --init ./libnDPI |