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>
Fri, 5 Aug 2011 09:49:45 +0000 (10:49 +0100)
commit6a98ed953b1e3b0d3251385f0ca2dd1dee80b63d
tree80c06efd66c03a1bb87b66c115bdc1ee6eef5dad
parente1c6d1738a2b9123dd08fb4ecff8176daf558f35
debian: bash is required to run libtool replacement script.

This was failing on Debian where $(SHELL) is the minimal dash shell.
configure.ac