diff options
author | Eric Anholt <[email protected]> | 2014-03-04 14:43:16 -0800 |
---|---|---|
committer | Eric Anholt <[email protected]> | 2014-03-05 13:37:33 -0800 |
commit | 9856d658ced3382060f4d805f3e4fbdc2b618e64 (patch) | |
tree | 1d3468b46ebefe73c5764360f0b5a5f3f9ab4427 | |
parent | c1958911f1b783b6469c6969e3c0a6964ed7d609 (diff) |
configure: Fix bashism.
/bin/sh defaults to dash on debian.
Reviewed-by: Brian Paul <[email protected]>
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 258cb3d770a..3f752664b08 100644 --- a/configure.ac +++ b/configure.ac @@ -1072,7 +1072,7 @@ if test -n "$with_dri_drivers"; then dri_drivers=`IFS=', '; echo $with_dri_drivers` for driver in $dri_drivers; do - DRI_DIRS+="$driver " + DRI_DIRS="$DRI_DIRS $driver" case "x$driver" in xi915) HAVE_I915_DRI=yes; |