1 files changed, 1 insertions, 1 deletions
diff --git a/wscript b/wscript
index 3a574f0..8cda191 100644
--- a/wscript
+++ b/wscript
@@ -330,7 +330,7 @@ def build_index(task):
 
 # Task for making a link in the build directory to a source file
 def link(task):
-    if hasattr(os, 'symlink'):
+    if not task.env.COPY_HEADERS and hasattr(os, 'symlink'):
         func = os.symlink
     else:
         func = shutil.copy  # Symlinks unavailable, make a copy