configure: Fix bashism.

/bin/sh defaults to dash on debian. Reviewed-by: Brian Paul <brianp@vmware.com>
2014-03-04 14:43:16 -08:00
parent c1958911f1
commit 9856d658ce
1 changed files with 1 additions and 1 deletions
@@ -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;