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 <thomas.monjalon@6wind.com>

diff --git a/scripts/test-build.sh b/scripts/test-build.sh
index 24c02025a2c83f7b586bf6204074e253aabe169c..5bcecfc37e2c70289aa1a55cb43217ddeca93204 100755 (executable)
--- a/scripts/test-build.sh
+++ b/scripts/test-build.sh
@@ -130,7 +130,12 @@ reset_env ()
 
 config () # <directory> <target> <options>
 {
-       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