diff options
| -rwxr-xr-x | helpers/build | 1 | ||||
| -rwxr-xr-x | helpers/clean | 1 | ||||
| -rwxr-xr-x | helpers/config | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/helpers/build b/helpers/build index c762b43e4..a4b88027f 100755 --- a/helpers/build +++ b/helpers/build @@ -22,6 +22,7 @@ fi # Read meta config if [ "${1}" != "noauto" ] && [ -x auto/build ] then + Echo_message "Executing auto/build script." ./auto/build ${@} fi diff --git a/helpers/clean b/helpers/clean index 2b5dac6ce..77fa1ab28 100755 --- a/helpers/clean +++ b/helpers/clean @@ -12,6 +12,7 @@ set -e # Read meta config if [ "${1}" != "noauto" ] && [ -x auto/clean ] then + Echo_message "Executing auto/clean script." ./auto/clean ${@} fi diff --git a/helpers/config b/helpers/config index 2a37dbe00..e2eff0844 100755 --- a/helpers/config +++ b/helpers/config @@ -12,6 +12,7 @@ set -e # Read meta config if [ "${1}" != "noauto" ] && [ -x auto/config ] then + Echo_message "Executing auto/config script." ./auto/config ${@} fi |