From 4521c4f91950b68abd15e13fbd07239de91d5c88 Mon Sep 17 00:00:00 2001
From: Maarten Billemont <lhunath@lyndir.com>
Date: Fri, 7 Jun 2019 18:24:07 -0400
Subject: [PATCH] Fix build script for libs that have no INSTALL file.

---
 lib/bin/build_lib | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/bin/build_lib b/lib/bin/build_lib
index 093a33d6..3da8413b 100755
--- a/lib/bin/build_lib
+++ b/lib/bin/build_lib
@@ -132,8 +132,10 @@ _prepare_config() {
 
     if [[ $platform = windows ]]; then :
     else
+        # autoreconf installs a useless INSTALL documentation stub that can overwrite repo docs.
+        [[ -e INSTALL ]] && mv INSTALL{,~}
         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.
+        [[ -e INSTALL~ ]] && mv INSTALL{~,}
     fi
 
     touch "$prefix/out/.prepared"