db-move: moved webkitgtk-6.0 from [testing] to [extra] (x86_64)
[arch-packages.git] / js38 / trunk / mozjs38-copy-headers.patch
blob7f352a795c8da188239846db7b129b2eab49cbf3
1 Description: Copy headers on install instead of symlinking
2 Author: Rico Tzschichholz <ricotz@ubuntu.com>
3 Forwarded: no
4 Last-Update: 2014-10-29
6 ---
8 Index: b/python/mozbuild/mozbuild/backend/recursivemake.py
9 ===================================================================
10 --- a/python/mozbuild/mozbuild/backend/recursivemake.py
11 +++ b/python/mozbuild/mozbuild/backend/recursivemake.py
12 @@ -796,7 +796,7 @@
13 return
15 for source, dest, _ in self._walk_hierarchy(obj, exports):
16 - self._install_manifests['dist_include'].add_symlink(source, dest)
17 + self._install_manifests['dist_include'].add_copy(source, dest)
19 if not os.path.exists(source):
20 raise Exception('File listed in EXPORTS does not exist: %s' % source)