diff options
author | Kenneth Heafield <github@kheafield.com> | 2012-06-01 03:13:01 +0400 |
---|---|---|
committer | Kenneth Heafield <github@kheafield.com> | 2012-06-01 03:13:01 +0400 |
commit | 833435561dcf6db47be14e71f29bf1ee20feabac (patch) | |
tree | 7eedf768b0d7a2472f45bee92a895896087dca82 /Jamroot | |
parent | bc2bf8224cf3598fa856c609273acc44c96f96f8 (diff) |
Warning about dist directory.
Diffstat (limited to 'Jamroot')
-rw-r--r-- | Jamroot | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 ; +} |