configure: Fix bashism.
authorEric Anholt <eric@anholt.net>
Tue, 4 Mar 2014 22:43:16 +0000 (14:43 -0800)
committerEric Anholt <eric@anholt.net>
Wed, 5 Mar 2014 21:37:33 +0000 (13:37 -0800)
commit9856d658ced3382060f4d805f3e4fbdc2b618e64
tree1d3468b46ebefe73c5764360f0b5a5f3f9ab4427
parentc1958911f1b783b6469c6969e3c0a6964ed7d609
configure: Fix bashism.

/bin/sh defaults to dash on debian.

Reviewed-by: Brian Paul <brianp@vmware.com>
configure.ac