aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript2
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