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

Signed-off-by: Simon McVittie <smcv@collabora.com>

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 36f918d2087f85d7c3d5f32667c958e422233228..d4c5f17276e676fe826ddc08f7831d3d47504388 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -237,7 +237,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