1 files changed, 1 insertions, 0 deletions

diff --git a/build.xml b/build.xml
index bb2df2fe..4d7f0cf7 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_ext.h" url="${registry.url}cl_ext.h"/>
         <update-headers header="${headers.orig}/cl_platform.h" url="${registry.url}cl_platform.h"/>
 
     </target>