debian: bash is required to run libtool replacement script.
authorRichard W.M. Jones <rjones@redhat.com>
Fri, 5 Aug 2011 09:49:45 +0000 (10:49 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Sun, 7 Aug 2011 21:04:30 +0000 (22:04 +0100)
commitae8172b8ffc4135d41ebc15caa9c54884b314e70
treed28b402f73788defb9aabc350e3921364b691d0e
parenta37b8356f0e8e1110092ece895c3e325e29fed04
debian: bash is required to run libtool replacement script.

This was failing on Debian where $(SHELL) is the minimal dash shell.
(cherry picked from commit 6a98ed953b1e3b0d3251385f0ca2dd1dee80b63d)
configure.ac