From 8a059614839f411d9ceab386319d1faddf8b0eac Mon Sep 17 00:00:00 2001
From: dockes <none@none>
Date: Fri, 30 Oct 2009 08:53:31 +0000
Subject: [PATCH] use /bin/sh to execute recollinstall instead of making it
 executable

---
 src/Makefile.in | 2 +-
 src/configure   | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index ec8278d3..1cd005c1 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -71,6 +71,6 @@ maintainer-clean: distclean
 install: all
 	DESTDIR=${DESTDIR} bindir=${bindir} datadir=${datadir} \
 	mandir=${mandir} \
-	./recollinstall ${prefix}
+	/bin/sh ./recollinstall ${prefix}
 
 .PHONY: all static clean distclean install
diff --git a/src/configure b/src/configure
index 62005ab4..03bec57c 100755
--- a/src/configure
+++ b/src/configure
@@ -7827,5 +7827,3 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
   { $as_echo "$as_me:$LINENO: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
 fi
-
-chmod a+x recollinstall