| commit | 9856d658ced3382060f4d805f3e4fbdc2b618e64 | [log] [tgz] |
|---|---|---|
| author | Eric Anholt <eric@anholt.net> | Tue Mar 04 14:43:16 2014 -0800 |
| committer | Eric Anholt <eric@anholt.net> | Wed Mar 05 13:37:33 2014 -0800 |
| tree | 1d3468b46ebefe73c5764360f0b5a5f3f9ab4427 | |
| parent | c1958911f1b783b6469c6969e3c0a6964ed7d609 [diff] |
configure: Fix bashism. /bin/sh defaults to dash on debian. Reviewed-by: Brian Paul <brianp@vmware.com>