diff -rup boost_1_42_0.orig/Jamroot boost_1_42_0/Jamroot --- boost_1_42_0.orig/Jamroot 2010-04-03 00:03:31.722603669 +0200 +++ boost_1_42_0/Jamroot 2010-04-03 00:44:38.038115479 +0200 @@ -355,9 +355,7 @@ rule tag ( name : type ? : property-set if $(layout) = versioned { result = [ common.format-name - -$(BOOST_VERSION_TAG) - -$(BUILD_ID) - : $(name) : $(type) : $(property-set) ] ; + : $(name) : $(type) : $(property-set) ] ; } else if $(layout) = tagged { @@ -505,13 +503,9 @@ if $(layout-versioned) && ( [ modules.pe return $(result) ; } - generate stage-unversioned : stage-proper : - @make-unversioned-links ; - explicit stage-unversioned ; - - generate install-unversioned : install-proper : - @make-unversioned-links ; - explicit install-unversioned ; + # Create do-nothing aliases. + alias stage-unversioned ; + alias install-unversioned ; } else {