From 42b4e7319b622bb3ba6eef455497135e8de59e22 Mon Sep 17 00:00:00 2001 From: Simon McVittie Date: Tue, 4 Dec 2018 11:25:02 +0000 Subject: [PATCH] CI: List attributes, sizes etc. of installed files, not just names Signed-off-by: Simon McVittie (cherry picked from commit d71049799a3f87de95151e00c667c05dd0b5386c) --- tools/ci-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci-build.sh b/tools/ci-build.sh index 56066b0..12f1fbc 100755 --- a/tools/ci-build.sh +++ b/tools/ci-build.sh @@ -232,7 +232,7 @@ case "$ci_buildsys" in [ "$ci_test" = no ] || ${make} distcheck || maybe_fail_tests ${make} install DESTDIR=$(pwd)/DESTDIR - ( cd DESTDIR && find . ) + ( cd DESTDIR && find . -ls ) if [ "$ci_sudo" = yes ] && [ "$ci_test" = yes ]; then sudo ${make} install -- 2.7.4