diff options
author | Christian Gmeiner <christian.gmeiner@gmail.com> | 2020-10-28 12:00:00 +0100 |
---|---|---|
committer | Marge Bot <eric+marge@anholt.net> | 2020-10-28 18:04:22 +0000 |
commit | 915f2919f64f40f2cd51ae10dc85c685edda97ef (patch) | |
tree | 4f6c603d2d0797b484cc6e44889fcc32173ab7bf /.gitlab-ci | |
parent | ecdcf22d5d848edb582ac1c49c6c6de74309a476 (diff) |
ci/bare-metal: suppress 'No such file or directory'
It fills the serial log with unimportant messages.
Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>
Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/7347>
Diffstat (limited to '.gitlab-ci')
-rwxr-xr-x | .gitlab-ci/bare-metal/capture-devcoredump.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci/bare-metal/capture-devcoredump.sh b/.gitlab-ci/bare-metal/capture-devcoredump.sh index 095bad875a4..ae370538eae 100755 --- a/.gitlab-ci/bare-metal/capture-devcoredump.sh +++ b/.gitlab-ci/bare-metal/capture-devcoredump.sh @@ -1,7 +1,7 @@ #!/bin/sh while true; do - devcds=`find /sys/devices/virtual/devcoredump/ -name data` + devcds=`find /sys/devices/virtual/devcoredump/ -name data 2>/dev/null` for i in $devcds; do echo "Found a devcoredump at $i." if cp $i /results/first.devcore; then |