From d71049799a3f87de95151e00c667c05dd0b5386c Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@collabora.com>
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 <smcv@collabora.com>
---
 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 36f918d20..d4c5f1727 100755
--- 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
-- 
2.47.3