From e039cc863be5f1c182658587335897c441ba647d Mon Sep 17 00:00:00 2001 From: Thomas Monjalon Date: Thu, 30 Jun 2016 12:08:26 +0200 Subject: [PATCH] scripts: test clean build when config is changed If there is a change in the config directory the build test will refresh the tested build config to take into account new options. The git working directory and the last git commit are checked for a change in config/. Signed-off-by: Thomas Monjalon --- scripts/test-build.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/scripts/test-build.sh b/scripts/test-build.sh index 24c02025a2..5bcecfc37e 100755 --- a/scripts/test-build.sh +++ b/scripts/test-build.sh @@ -130,7 +130,12 @@ reset_env () config () # { - if [ ! -e $1/.config ] ; then + reconfig=false + if git rev-parse 2>&- && [ -n "$(git diff HEAD~ -- config)" ] ; then + echo 'Default config may have changed' + reconfig=true + fi + if [ ! -e $1/.config ] || $reconfig ; then echo "================== Configure $1" make T=$2 O=$1 config -- 2.20.1