diff options
author | Sverker Eriksson <sverker@erlang.org> | 2021-11-18 13:21:29 +0100 |
---|---|---|
committer | Sverker Eriksson <sverker@erlang.org> | 2021-11-18 13:21:29 +0100 |
commit | 39f278cd3d0fdf37d4a12be48a55b020ea78fa16 (patch) | |
tree | 6d3c3bebc620af19534130ad7d1a37dfdb72ebde /.github | |
parent | 9e0ba5f9a77b398279cb43ef924537da58ba4f70 (diff) | |
parent | b9ee7f721e1e0df2c6ac64351fad0b3de5127861 (diff) | |
download | erlang-39f278cd3d0fdf37d4a12be48a55b020ea78fa16.tar.gz |
Merge branch 'sverker/otp_build-autoconf-cleanup' into maint
Diffstat (limited to '.github')
-rwxr-xr-x | .github/scripts/init-pre-release.sh | 26 |
1 files changed, 3 insertions, 23 deletions
diff --git a/.github/scripts/init-pre-release.sh b/.github/scripts/init-pre-release.sh index 7bc0550b53..7a86f3052c 100755 --- a/.github/scripts/init-pre-release.sh +++ b/.github/scripts/init-pre-release.sh @@ -1,26 +1,6 @@ #!/bin/sh -## We create a tar ball that has generated configure -## (old versions might not have these included) -## This is used later by build-otp-tar to create -## the pre-built tar ball +## We create a tar ball that is used later by build-otp-tar +## to create the pre-built tar ball -if [ -f ./configure ]; then - git archive --prefix otp/ -o otp_src.tar.gz HEAD -else - ERL_TOP=`pwd` - ./otp_build autoconf - find . -name aclocal.m4 | xargs git add -f - find . -name configure | xargs git add -f - find . -name config.h.in | xargs git add -f - find . -name config.guess | xargs git add -f - find . -name config.sub | xargs git add -f - find . -name install-sh | xargs git add -f - if ! git config user.name; then - git config user.email "you@example.com" - git config user.name "Your Name" - fi - git commit --no-verify -m 'Add generated configure files' - git archive --prefix otp/ -o otp_src.tar.gz HEAD - git reset --hard HEAD~1 -fi +git archive --prefix otp/ -o otp_src.tar.gz HEAD |