Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/checkpoint-restore/criu.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/ci/asan.sh5
1 files changed, 2 insertions, 3 deletions
diff --git a/scripts/ci/asan.sh b/scripts/ci/asan.sh
index 8113b9b19..deeeca0b9 100755
--- a/scripts/ci/asan.sh
+++ b/scripts/ci/asan.sh
@@ -1,7 +1,5 @@
#!/bin/bash
-# shellcheck disable=2044
-
set -x
cat /proc/self/mountinfo
@@ -13,7 +11,8 @@ chmod 0777 test/zdtm/static
./test/zdtm.py run -a --keep-going -k always --parallel 4 -x zdtm/static/rtc "$@"
ret=$?
-for i in $(find / -name 'asan.log*'); do
+shopt -s globstar nullglob
+for i in /**/asan.log*; do
echo "$i"
echo ========================================
cat "$i"