From 52ecbac8c6bc70cead867687fa7c50e26343f03a Mon Sep 17 00:00:00 2001
From: David Robillard <d@drobilla.net>
Date: Mon, 5 Oct 2015 17:59:39 -0400
Subject: Always copy headers if specified

---
 wscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.1