Răsfoiți Sursa

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]
Eneas U de Queiroz 3 ani în urmă
părinte
comite
65c28d7a67
1 a modificat fișierele cu 1 adăugiri și 0 ștergeri
  1. 1 0
      scripts/diffconfig.sh

+ 1 - 0
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