diff options
Diffstat (limited to 'src/mapi')
| -rw-r--r-- | src/mapi/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mapi/Makefile.am b/src/mapi/Makefile.am index 9ff70a14fdd..83e32d2185e 100644 --- a/src/mapi/Makefile.am +++ b/src/mapi/Makefile.am @@ -242,5 +242,7 @@ es2api/glapi_mapi_tmp.h: glapi/gen/gl_and_es_API.xml $(glapi_gen_mapi_deps) include $(top_srcdir)/install-lib-links.mk +if NEED_KHRPLATFORM khrdir = $(includedir)/KHR khr_HEADERS = $(top_srcdir)/include/KHR/khrplatform.h +endif |