diff --git a/lib/bin/build_lib b/lib/bin/build_lib index a573278b..093a33d6 100755 --- a/lib/bin/build_lib +++ b/lib/bin/build_lib @@ -133,6 +133,7 @@ _prepare_config() { if [[ $platform = windows ]]; then : else autoreconf --verbose --install --force 2> >(sed 's/^\([^:]*\):[0-9]\{1,\}: /\1: /') + [[ -e .git ]] && git checkout @ -- INSTALL # autoreconf installs a useless INSTALL documentation stub that can overwrite repo docs. fi touch "$prefix/out/.prepared"