configure
changeset 8158 429513cb6707
parent 8153 3e43c73ac79b
child 8159 427e8fdf6f69
--- a/configure	Mon Feb 03 11:01:32 2014 -0500
+++ b/configure	Mon Feb 03 11:14:25 2014 -0500
@@ -18722,6 +18722,7 @@
                   EXTRA_CFLAGS="$EXTRA_CFLAGS `$PKG_CONFIG --cflags egl mirclient xkbcommon`"
                   EXTRA_LDFLAGS="$EXTRA_LDFLAGS `$PKG_CONFIG --libs egl mirclient xkbcommon`"
                   have_video=yes
+                  SUMMARY_video="${SUMMARY_video} mir"
             fi
         fi
     fi