diff options
Diffstat (limited to 'Build/source/texk')
-rw-r--r-- | Build/source/texk/web2c/synctex/synctex_parser.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/synctex/synctex_parser.c b/Build/source/texk/web2c/synctex/synctex_parser.c index eaa2bdcb241..903cb84b305 100644 --- a/Build/source/texk/web2c/synctex/synctex_parser.c +++ b/Build/source/texk/web2c/synctex/synctex_parser.c @@ -2265,7 +2265,9 @@ synctex_scanner_t synctex_scanner_new_with_contents_of_file(const char * name) { (scanner->class[synctex_node_type_input]).scanner = scanner; SYNCTEX_FILE = gzopen(name,"r"); if(NULL == SYNCTEX_FILE) { - printf("SyncTeX: could not open %s, error %i\n",name,errno); + if(errno != ENOENT) { + printf("SyncTeX: could not open %s, error %i\n",name,errno); + } bail: synctex_scanner_free(scanner); return NULL; |