From 65c28d7a6750b5f73328736414902e58339b0784 Mon Sep 17 00:00:00 2001 From: Eneas U de Queiroz Date: Mon, 21 Feb 2022 14:44:43 -0300 Subject: [PATCH] scripts/diffconfig.sh: ensure config/conf is built MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit diffconfig.sh runs ./scripts/config/conf, but it does not get built with 'make {menu,x,n}config. Call 'make ./scripts/config/conf' to ensure it's been built before running it, aborting in case of failure. Signed-off-by: Eneas U de Queiroz Signed-off-by: Petr Štetiar [removed Fixes: due revert] --- scripts/diffconfig.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/diffconfig.sh b/scripts/diffconfig.sh index 5f9fec56000..7ffe9dd01ae 100755 --- a/scripts/diffconfig.sh +++ b/scripts/diffconfig.sh @@ -1,4 +1,5 @@ #!/bin/sh +make ./scripts/config/conf >/dev/null || { make ./scripts/config/conf; exit 1; } grep \^CONFIG_TARGET_ .config | head -n3 > tmp/.diffconfig.head grep \^CONFIG_TARGET_DEVICE_ .config >> tmp/.diffconfig.head grep '^CONFIG_ALL=y' .config >> tmp/.diffconfig.head