configure: Fix another bashism.
authorEric Anholt <eric@anholt.net>
Wed, 4 Jan 2017 18:52:34 +0000 (10:52 -0800)
committerEric Anholt <eric@anholt.net>
Thu, 5 Jan 2017 17:24:28 +0000 (09:24 -0800)
commitdbe0dd11b9ec1e497277f15ce70506eff17ecdec
treecf2cfb4869bd022b0284255f559af1ea6d9375f6
parent3477f67057f11b3608366f7096f4c6f1c57db509
configure: Fix another bashism.

Reviewed-by: Matt Turner <mattst88@gmail.com>
configure.ac