Warning about dist directory.

1 files changed, 6 insertions, 0 deletions

diff --git a/Jamroot b/Jamroot
index b34aabb93..6190ef77f 100644
--- a/Jamroot
+++ b/Jamroot
@@ -115,3 +115,9 @@ alias install : prefix-bin prefix-lib headers-base headers-moses ;
 if ! [ option.get "includedir" : : $(prefix)/include ] {
   explicit install headers-base headers-moses ;
 }
+
+if [ path.exists $(TOP)/dist ] && $(prefix) != dist {
+  echo "You have a $(TOP)/dist directory, but the build system now places files directly in the root i.e. $(TOP)/bin ." ;
+  echo "To disable this message, delete $(TOP)/dist ." ;
+  echo ;
+}