diff options
| author | Diego Elio Pettenò <flameeyes@gmail.com> | 2011-05-14 02:43:58 +0200 |
|---|---|---|
| committer | Christoph Brill <egore911@egore911.de> | 2011-05-15 21:43:47 +0200 |
| commit | 4d4c4d0ff5a381a5d574845cf72673f9fee43734 (patch) | |
| tree | b8d9957cc27860ecdead3660aba7e6a7894bf7e8 /tools/Makefile.am | |
| parent | ec791423531a12129358a2e10b4f9b4721fcd761 (diff) | |
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>
Diffstat (limited to 'tools/Makefile.am')
0 files changed, 0 insertions, 0 deletions