summaryrefslogtreecommitdiff
path: root/support
diff options
context:
space:
mode:
authorYann E. MORIN <yann.morin.1998@free.fr>2017-02-08 21:15:25 +0100
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>2017-02-09 22:57:13 +0100
commitd5c58ceec2aad7415bfb8d4cee1d98779535b615 (patch)
treee7c92a2af35bf431ccf00fd25a1d0d3cd8dc9f80 /support
parent47d5da8bcc2f5b9d2b7062fef5cf3fc624eefc9e (diff)
support/test-pkg: store lines missing from resulting configuraiton
When a build is skipped, store the lines from the config snippet, that are missing in the resulting configuration, in a file in the build directory, for the user to inspect. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Cc: Thomas Petazzoni <thomas.petazzoni@free-electrons.com> Cc: Luca Ceresoli <luca@lucaceresoli.net> Cc: Thomas De Schampheleire <patrickdepinguin@gmail.com> Acked-by: Luca Ceresoli <luca@lucaceresoli.net> Tested-by: Luca Ceresoli <luca@lucaceresoli.net> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'support')
-rwxr-xr-xsupport/scripts/test-pkg15
1 files changed, 11 insertions, 4 deletions
diff --git a/support/scripts/test-pkg b/support/scripts/test-pkg
index 008b32ca2..5eeaf63db 100755
--- a/support/scripts/test-pkg
+++ b/support/scripts/test-pkg
@@ -61,7 +61,7 @@ build_one() {
local url="${2}"
local cfg="${3}"
local pkg="${4}"
- local toolchain line
+ local toolchain line skip
# Using basename(1) on a URL works nicely
toolchain="$( basename "${url}" .config )"
@@ -94,12 +94,19 @@ build_one() {
# or not set) in the actual .config; if one of them is not, it means
# some dependency from the toolchain or arch is not available, in
# which case this config is untestable and we skip it.
+ skip=false
while read line; do
if ! grep "^${line}\$" "${dir}/.config" >/dev/null 2>&1; then
- printf ", SKIPPED\n"
- return
+ printf "%s\n" "${line}"
+ skip=true
fi
- done <"${cfg}"
+ done <"${cfg}" >"${dir}/missing.config"
+ if ${skip}; then
+ printf ", SKIPPED\n"
+ return
+ fi
+ # Remove file, it's empty anyway.
+ rm -f "${dir}/missing.config"
if [ -n "${pkg}" ]; then
printf ", dirclean"