boost/build
2
0
Fork 0
mirror of https://github.com/boostorg/build.git synced 2026-02-12 12:02:24 +00:00
Code Issues Projects Releases Wiki Activity

Allow to reinitialize Whale support several time, provided the path

Browse Source 
is always the same.


[SVN r30356]
This commit is contained in:
Vladimir Prus
2005-08-01 11:40:29 +00:00
parent 962dd9923e
commit 9b25d607bd
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/tools/whale.jam
View File

@@ -21,11 +21,15 @@ import errors ;
rule init ( path # path the Whale/Dolphin/WD binaries
)
{
if $(.configured)
if $(.configured) && $(.path) != $(path)
{
errors.error "Attempt to reconfigure Whale support" ;
errors.user-error "Attempt to reconfigure Whale support" :
"Previously configured with path \"$(.path:E=<empty>)\"" :
"Now configuring with path \"$(path:E=<empty>)\"" ;
}
.configured = true ;
.path = $(path) ;
.whale = [ path.join $(path) whale ] ;
.dolphin = [ path.join $(path) dolphin ] ;