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