mirror of
https://github.com/curl/curl.git
synced 2024-12-09 06:30:06 +08:00
maketgz: return error if 'make dist' fails
To better detect this problem in CI jobs Reported-by: Marcel Raad Bug: https://curl.se/mail/lib-2022-02/0070.html Closes #8402
This commit is contained in:
parent
5c55fe6df6
commit
e3e0eb4d30
8
maketgz
8
maketgz
@ -9,7 +9,7 @@
|
||||
# | (__| |_| | _ <| |___
|
||||
# \___|\___/|_| \_\_____|
|
||||
#
|
||||
# Copyright (C) 1998 - 2021, Daniel Stenberg, <daniel@haxx.se>, et al.
|
||||
# Copyright (C) 1998 - 2022, Daniel Stenberg, <daniel@haxx.se>, et al.
|
||||
#
|
||||
# This software is licensed as described in the file COPYING, which
|
||||
# you should have received as part of this distribution. The terms
|
||||
@ -169,6 +169,12 @@ git log --pretty=fuller --no-color --date=short --decorate=full -1000 | ./script
|
||||
echo "make dist"
|
||||
targz="curl-$version.tar.gz"
|
||||
make -sj dist VERSION=$version
|
||||
res=$?
|
||||
|
||||
if test "$res" != 0; then
|
||||
echo "make dist failed"
|
||||
exit 2
|
||||
fi
|
||||
|
||||
############################################################################
|
||||
#
|
||||
|
Loading…
Reference in New Issue
Block a user