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:00:25 +0000 (22:00 +0100)
commite6e34783a46924364a3844853e43be1962eacea2
treed0be33f690367a025bbd8a0414874fc9485875a3
parentc704e8dea74ad9f1ff14c41fae924f66abd7533a
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