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 20:58:10 +0000 (21:58 +0100)
commit31a0c937f793e0455127823bb03cac74e75640df
tree7751e7a1e3b000d07566b2a5c03e82b3d42c8905
parent561e115b9b32d86d4ecd3afda99e861441d84763
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