diff options
Diffstat (limited to 'dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch')
| -rw-r--r-- | dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch b/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch deleted file mode 100644 index bddcdac..0000000 --- a/dev-util/boost-build/files/boost-build-1.54.0-support_dots_in_python-buildid.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- tools/common.jam.orig 2013-08-27 12:13:56.865158748 +0400 -+++ tools/common.jam 2013-08-27 12:15:08.760162210 +0400 -@@ -763,7 +763,15 @@ - switch $(f:G) - { - case <base> : -- result += $(name:B) ; -+ local matched = [ MATCH "^(boost.*python)-.*" : $(name) ] ; -+ if $(matched) = boost_python || $(matched) = boost_mpi_python -+ { -+ result += $(name) ; -+ } -+ else -+ { -+ result += $(name:B) ; -+ } - - case <toolset> : - result += [ join-tag $(f:G=) : [ toolset-tag $(name) : $(type) : |