summaryrefslogtreecommitdiffstats
path: root/build.xml
diff options
context:
space:
mode:
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml2
1 files changed, 2 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 924c2e58..702dbd50 100644
--- a/build.xml
+++ b/build.xml
@@ -202,6 +202,7 @@
<!-- download new headers from OpenCL registry if necessary -->
<update-headers header="${headers.orig}/cl.h" url="${registry.url}cl.h"/>
<update-headers header="${headers.orig}/cl_gl.h" url="${registry.url}cl_gl.h"/>
+ <update-headers header="${headers.orig}/cl_gl_ext.h" url="${registry.url}cl_gl_ext.h"/>
<update-headers header="${headers.orig}/cl_ext.h" url="${registry.url}cl_ext.h"/>
<update-headers header="${headers.orig}/cl_platform.h" url="${registry.url}cl_platform.h"/>
@@ -218,6 +219,7 @@
<!--nothing to uncomment in this headers-->
<copy file="${headers.orig}/cl_platform.h" toDir="${headers.dest}" overwrite="true"/>
<copy file="${headers.orig}/cl_ext.h" toDir="${headers.dest}" overwrite="true"/>
+ <copy file="${headers.orig}/cl_gl_ext.h" toDir="${headers.dest}" overwrite="true"/>
<copy file="${headers.orig}/cl_vendor_ext.h" toDir="${headers.dest}" overwrite="true"/>
</target>