Warning about dist directory.

emjotde · May 31, 2012 · 8334355 · 8334355
1 parent bc2bf82
commit 8334355
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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 ;
+}