diff --git a/src/build-system.jam b/src/build-system.jam index e0ad90560..e4ae525b6 100755 --- a/src/build-system.jam +++ b/src/build-system.jam @@ -65,6 +65,12 @@ if ! $(ignore-config) { modules.load site-config : : /etc $(user-path) ; } + + if --debug-configuration in [ modules.peek : ARGV ] + { + ECHO "notice: loaded site-config.jam from " + [ NORMALIZE_PATH [ modules.binding site-config ] ] ; + } } @@ -78,6 +84,12 @@ module user-config if ! $(ignore-config) { modules.load user-config : : $(user-path) ; + if --debug-configuration in [ modules.peek : ARGV ] + { + ECHO "notice: loaded user-config.jam from " + [ NORMALIZE_PATH [ modules.binding user-config ] ] ; + } + }