diff options
author | Dan Gudmundsson <[email protected]> | 2017-03-15 11:52:06 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-03-15 11:52:06 +0100 |
commit | 6cebbc8b9b5f2d18d0b142f26b4495235a60dd21 (patch) | |
tree | 96b9cb38cd3494cfa321547d33b7cb7c01695ac7 | |
parent | 9d8624408a81f49f243355df3f1ac133167089b0 (diff) | |
parent | e452f3b5bbba1f2139121e259d208dce112b1f74 (diff) | |
download | otp-6cebbc8b9b5f2d18d0b142f26b4495235a60dd21.tar.gz otp-6cebbc8b9b5f2d18d0b142f26b4495235a60dd21.tar.bz2 otp-6cebbc8b9b5f2d18d0b142f26b4495235a60dd21.zip |
Merge branch 'dgud/otp_build_clean_configure'
* dgud/otp_build_clean_configure:
Clean configure when before invoking autoconf
-rwxr-xr-x | otp_build | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -310,6 +310,11 @@ do_autoconf () echo "=== cleaning $d/autom4te.cache" rm -f "$d"/autom4te.cache/* } + [ ! -f "$d/configure" ] || { + echo "=== cleaning $d/configure" + rm -f "$d"/configure + } + echo "=== running autoconf in $d" ( cd "$d" && autoconf ) || exit 1 chdr=`cat "$file" | sed -n "s|.*\(AC_CONFIG_HEADER\).*|\1|p"` |