diff options
author | Chris Wilson <chris@chris-wilson.co.uk> | 2013-08-31 16:13:14 +0100 |
---|---|---|
committer | Chris Wilson <chris@chris-wilson.co.uk> | 2013-08-31 16:19:21 +0100 |
commit | ead32f4a1498c2f7b7c74856e97f9e602ed7a274 (patch) | |
tree | 38ee41bd11402468fb3815eedb09e6188919ed51 /Makefile.am | |
parent | 8067255dc9185e85b110254ffbea4d9682d3aa2d (diff) |
configure; Remember to disable building the tools
If we find that the headers for the tools are not available on the
system, simply disable building them as they are not essential features
of the driver.
Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 6bb48548..71c7698d 100644 --- a/Makefile.am +++ b/Makefile.am @@ -20,7 +20,11 @@ ACLOCAL_AMFLAGS = ${ACLOCAL_FLAGS} -I m4 -SUBDIRS = man xvmc src tools +SUBDIRS = man xvmc src + +if BUILD_TOOLS +SUBDIRS += tools +endif MAINTAINERCLEANFILES = ChangeLog INSTALL |