diff options
Diffstat (limited to 'scripts/check-near-bragg')
| -rwxr-xr-x | scripts/check-near-bragg | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/check-near-bragg b/scripts/check-near-bragg index 632e1285..2130378b 100755 --- a/scripts/check-near-bragg +++ b/scripts/check-near-bragg @@ -78,6 +78,11 @@ while ( $line = <FH> ) { if ( $n_seen > $skip ) { my $statbuf = stat($filename); + if ( not $statbuf ) { + printf("Couldn't stat image file '%s' - does it exist?\n", + $filename); + exit; + } my $image_mtime = $statbuf->mtime; if ( $image_mtime > $stream_mtime ) { printf(STDERR "WARNING: Image file is newer than stream\n"); |