CI: List attributes, sizes etc. of installed files, not just names

Signed-off-by: Simon McVittie <smcv@collabora.com>
(cherry picked from commit d71049799a3f87de95151e00c667c05dd0b5386c)

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 56066b00e4eed62b1af0fe8717710fb7f0763282..12f1fbc5fb746357999213252ef7d0d3776fa79e 100755 (executable)
--- 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