tree b8d9957cc27860ecdead3660aba7e6a7894bf7e8
parent ec791423531a12129358a2e10b4f9b4721fcd761
author Diego Elio Pettenò <flameeyes@gmail.com> 1305333838 +0200
committer Christoph Brill <egore911@egore911.de> 1305488627 +0200

build: report a fatal error if XORG_DRIVER_CHECK_EXT is undefined.

Just to give a bit of an idea of what the problem is when configure fails
later on.

Signed-off-by: Diego Elio Pettenò <flameeyes@gmail.com>
Signed-off-by: Christoph Brill <egore911@egore911.de>