diff options
Diffstat (limited to 'dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch')
-rw-r--r-- | dev-util/boost-build/files/boost-build-1.48.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.48.0-support_dots_in_python-buildid.patch b/dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch deleted file mode 100644 index b3bee03..0000000 --- a/dev-util/boost-build/files/boost-build-1.48.0-support_dots_in_python-buildid.patch +++ /dev/null @@ -1,19 +0,0 @@ ---- tools/common.jam -+++ tools/common.jam -@@ -759,7 +759,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) : |