diff options
author | Alessandro Ghedini <ghedo@debian.org> | 2017-09-02 11:03:20 +0100 |
---|---|---|
committer | Alessandro Ghedini <ghedo@debian.org> | 2017-09-02 11:03:20 +0100 |
commit | 67fff9aac64f68289218e02aad4d9936471046a4 (patch) | |
tree | bf712da92dd27ace3b8371f6b8a9d0794f4b2425 /maketgz | |
parent | bdd033d6e4a13df5b45f2628db5738f82ca6b413 (diff) |
New upstream version 7.55.1
Diffstat (limited to 'maketgz')
-rwxr-xr-x | maketgz | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -50,6 +50,13 @@ if test -z "$patch"; then exit fi +# +# As a precaution, remove all *.dist files that may be lying around, to reduce +# the risk of old leftovers getting shipped. The root 'Makefile.dist' is the +# exception. +echo "removing all old *.dist files" +find . -name "*.dist" -a ! -name Makefile.dist -exec rm {} \; + numeric=`perl -e 'printf("%02x%02x%02x\n", '"$major, $minor, $patch);"` HEADER=include/curl/curlver.h |