]> andersk Git - splint.git/blobdiff - src/osd.c
Fixed creation of temp files.
[splint.git] / src / osd.c
index 9af9d100282934657127474b9e1e402408e2e3fb..8ba1c6045d2bba2bc41246203b566420045a50ee 100644 (file)
--- a/src/osd.c
+++ b/src/osd.c
@@ -305,7 +305,7 @@ osd_fileExists (cstring filespec)
   return (stat (cstring_toCharsSafe (filespec), &buf) == 0);
 # else
 # if defined (WIN32) || defined (OS2)
-  FILE *test = fileTable_openFile (context_fileTable (), filespec, "r");
+  FILE *test = fileTable_openReadFile (context_fileTable (), filespec);
   
   if (test != NULL) 
     {
@@ -567,7 +567,7 @@ cstring osd_fixDefine (cstring x)
 
 bool osd_fileIsReadable (cstring f)
 {
-  FILE *fl = fileTable_openFile (context_fileTable (), f, "r");
+  FILE *fl = fileTable_openReadFile (context_fileTable (), f);
 
   if (fl != NULL)
     {
This page took 0.026335 seconds and 4 git commands to generate.