From 4c8e349f87054e22044141ae5c38030685c1457d Mon Sep 17 00:00:00 2001
From: spl <simon@raspberrypi.org>
Date: Wed, 20 Jan 2016 17:05:13 +0000
Subject: [PATCH] GL driver option now checks that xcompmgr is installed.

---
 raspi-config | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/raspi-config b/raspi-config
index 18eb3b0..364a1a8 100755
--- a/raspi-config
+++ b/raspi-config
@@ -960,6 +960,10 @@ do_gldriver() {
     whiptail --msgbox "Driver and kernel not present on your system. Please update" 20 60 2
     return 1
   fi
+  if [ ! -e /usr/bin/xcompmgr ]; then
+    whiptail --msgbox "xcompmgr not found - please install" 20 60 2
+    return 1
+  fi
   if [ "$INTERACTIVE" = True ]; then
     whiptail --yesno "Enable experimental GL driver for desktop?" 20 60 2 \
       --yes-button Disable --no-button Enable