diff --git a/build/generate_filelist_xml.php b/build/generate_filelist_xml.php index 581353b758b..41c20740d78 100755 --- a/build/generate_filelist_xml.php +++ b/build/generate_filelist_xml.php @@ -125,6 +125,11 @@ $checksumconcat=array(); $outputfile=$outputdir.'/filelist-'.$release.'.xml'; $fp = fopen($outputfile, 'w'); +if (empty($fp)) { + print 'Failed to open file '.$outputfile."\n"; + exit(-1); +} + fputs($fp, ''."\n"); fputs($fp, ''."\n");