1 files changed, 1 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 4d7f0cf7..924c2e58 100644
--- a/build.xml
+++ b/build.xml
@@ -218,6 +218,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_vendor_ext.h" toDir="${headers.dest}" overwrite="true"/>
 
     </target>