2
0
mirror of https://github.com/boostorg/build.git synced 2026-02-20 14:42:14 +00:00

Only show tool not found warnings when dubgging configuration. This is to prevent spurious warnings when trying to set up varied tools and they are not usually available on a given platform.

[SVN r33604]
This commit is contained in:
Rene Rivera
2006-04-09 07:20:25 +00:00
parent cdad507ba2
commit a5d1abd22f

View File

@@ -17,6 +17,10 @@ import path ;
import sequence ;
import toolset ;
if [ MATCH (--debug-configuration) : [ modules.peek : ARGV ] ]
{
.debug-configuration = true ;
}
# Configurations
#
@@ -230,8 +234,11 @@ rule get-invocation-command (
command = [ common.find-tool $(tool) : $(additional-paths) : $(path-last) ] ;
if ! $(command)
{
ECHO "warning: toolset $(toolset) initialization: can't find tool $(tool)" ;
ECHO "warning: initialized from" [ errors.nearest-user-location ] ;
if $(.debug-configuration)
{
ECHO "warning: toolset $(toolset) initialization: can't find tool $(tool)" ;
ECHO "warning: initialized from" [ errors.nearest-user-location ] ;
}
}
}
else
@@ -239,9 +246,12 @@ rule get-invocation-command (
command = [ common.check-tool $(user-provided-command) ] ;
if ! $(command)
{
ECHO "warning: toolset $(toolset) initialization: " ;
ECHO "warning: can't find user-provided command '$(user-provided-command:J= )'" ;
ECHO "warning: initialized from" [ errors.nearest-user-location ] ;
if $(.debug-configuration)
{
ECHO "warning: toolset $(toolset) initialization: " ;
ECHO "warning: can't find user-provided command '$(user-provided-command:J= )'" ;
ECHO "warning: initialized from" [ errors.nearest-user-location ] ;
}
# It's possible, in theory, that user-provided command is OK, but we're
# not smart enough to understand that.
command = $(user-provided-command) ;