From 9b25d607bdf3bbf86aef1c86331087f846ec5db1 Mon Sep 17 00:00:00 2001
From: Vladimir Prus <ghost@cs.msu.su>
Date: Mon, 1 Aug 2005 11:40:29 +0000
Subject: [PATCH] Allow to reinitialize Whale support several time, provided
 the path is always the same.

[SVN r30356]
---
 src/tools/whale.jam | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/tools/whale.jam b/src/tools/whale.jam
index 8992e146e..155e57686 100644
--- a/src/tools/whale.jam
+++ b/src/tools/whale.jam
@@ -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 ] ;