diff options
| -rwxr-xr-x | tools/ci-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index 56066b00..12f1fbc5 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 |