gentoo-overlay/dev-lang/spidermonkey/files/mozjs38-copy-headers.patch

Description: Copy headers on install instead of symlinking
Author: Rico Tzschichholz <ricotz@ubuntu.com>
Forwarded: no
Last-Update: 2014-10-29

---

Index: b/python/mozbuild/mozbuild/backend/recursivemake.py
===================================================================
--- a/python/mozbuild/mozbuild/backend/recursivemake.py
+++ b/python/mozbuild/mozbuild/backend/recursivemake.py
@@ -796,7 +796,7 @@
             return
 
         for source, dest, _ in self._walk_hierarchy(obj, exports):
-            self._install_manifests['dist_include'].add_symlink(source, dest)
+            self._install_manifests['dist_include'].add_copy(source, dest)
 
             if not os.path.exists(source):
                 raise Exception('File listed in EXPORTS does not exist: %s' % source)