diff options
Diffstat (limited to 'devel/boost-python-libs/files/patch-tools_build_v2_tools_common.jam')
| -rw-r--r-- | devel/boost-python-libs/files/patch-tools_build_v2_tools_common.jam | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/devel/boost-python-libs/files/patch-tools_build_v2_tools_common.jam b/devel/boost-python-libs/files/patch-tools_build_v2_tools_common.jam new file mode 100644 index 000000000000..68683f173aee --- /dev/null +++ b/devel/boost-python-libs/files/patch-tools_build_v2_tools_common.jam @@ -0,0 +1,17 @@ +--- tools/build/v2/tools/common.jam.orig Thu Oct 16 12:42:03 2008 ++++ tools/build/v2/tools/common.jam Tue Nov 11 23:43:27 2008 +@@ -760,14 +760,6 @@ + result += [ join-tag $(f:G=) : [ toolset-tag $(name) : $(type) : + $(property-set) ] ] ; + +- case <threading> : +- result += [ join-tag $(f:G=) : [ threading-tag $(name) : $(type) +- : $(property-set) ] ] ; +- +- case <runtime> : +- result += [ join-tag $(f:G=) : [ runtime-tag $(name) : $(type) : +- $(property-set) ] ] ; +- + case <version:*> : + local key = [ MATCH <version:(.*)> : $(f:G) ] ; + local version = [ $(property-set).get <$(key)> ] ; |