scripts/diffconfig.sh: ensure config/conf is built

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 <[email protected]>
Signed-off-by: Petr Štetiar <[email protected]>[removed Fixes: due revert]

diff --git a/scripts/diffconfig.sh b/scripts/diffconfig.sh
index 5f9fec56000f85fb985115d3cb2f608c1fa62f7d..7ffe9dd01ae27eb9cde7dc43879a88a7b2df359f 100755 (executable)
--- 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