diff options
| -rwxr-xr-x | scripts/find-debuginfo.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/find-debuginfo.sh b/scripts/find-debuginfo.sh index 081e24148..e0c36ebb6 100755 --- a/scripts/find-debuginfo.sh +++ b/scripts/find-debuginfo.sh @@ -498,6 +498,7 @@ else wait ) for f in "$temp"/res.*; do + test -f "$f" || continue res=$(< "$f") if [ "$res" != "0" ]; then exit 1 |