2
0
mirror of https://github.com/boostorg/build.git synced 2026-02-16 01:12:13 +00:00

Bugfix in 'property.refine'.

[SVN r14338]
This commit is contained in:
Vladimir Prus
2002-07-08 09:34:01 +00:00
parent d17b0bfea5
commit bceebcf3a1
2 changed files with 12 additions and 0 deletions

View File

@@ -68,6 +68,12 @@ rule refine ( properties * : requirements * : feature-space ? )
}
}
# Unset our ugly map.
for local r in $(requirements)
{
__require__$(r:G) = ;
}
if $(error)
{
return $(error) ;

View File

@@ -68,6 +68,12 @@ rule refine ( properties * : requirements * : feature-space ? )
}
}
# Unset our ugly map.
for local r in $(requirements)
{
__require__$(r:G) = ;
}
if $(error)
{
return $(error) ;