diff options
author | Yann E. MORIN <yann.morin.1998@free.fr> | 2017-02-08 21:15:25 +0100 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2017-02-09 22:57:13 +0100 |
commit | d5c58ceec2aad7415bfb8d4cee1d98779535b615 (patch) | |
tree | e7c92a2af35bf431ccf00fd25a1d0d3cd8dc9f80 /support | |
parent | 47d5da8bcc2f5b9d2b7062fef5cf3fc624eefc9e (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-x | support/scripts/test-pkg | 15 |
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" |