[dpdk-dev] [PATCH] scripts: test clean build when config have changed

Thomas Monjalon thomas.monjalon at 6wind.com
Thu Jun 30 13:45:37 CEST 2016


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 at 6wind.com>
---
 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 24c0202..5bcecfc 100755
--- 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
 
-- 
2.7.0



More information about the dev mailing list