Searched refs:ogzfilename (Results 1 – 1 of 1) sorted by relevance
20 char *ogzfilename; /* gzip can be run after the filename has been updated */ member772 const char *gzfilename = vbinary->ogzfilename ? vbinary->ogzfilename : vbinary->filename; in PetscViewerFileClose_BinarySTDIO()786 PetscCall(PetscFree(vbinary->ogzfilename)); in PetscViewerFileClose_BinarySTDIO()1313 PetscCall(PetscFree(vbinary->ogzfilename)); in PetscViewerFileSetName_Binary()1314 PetscCall(PetscStrallocpy(vbinary->filename, &vbinary->ogzfilename)); in PetscViewerFileSetName_Binary()1553 vbinary->ogzfilename = NULL; in PetscViewerCreate_Binary()