aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2015-10-05 17:59:39 -0400
committerDavid Robillard <d@drobilla.net>2015-10-05 18:02:20 -0400
commit52ecbac8c6bc70cead867687fa7c50e26343f03a (patch)
tree592f8bf71b1a93e14bfd2247fcf5324703db00eb
parent291c7351eb669f3b63322d0c3567c69b0f545fe2 (diff)
downloadlv2-52ecbac8c6bc70cead867687fa7c50e26343f03a.tar.xz
Always copy headers if specified
-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