diff options
author | Jonathan Kew <jfkthame@googlemail.com> | 2008-05-27 23:24:12 +0000 |
---|---|---|
committer | Jonathan Kew <jfkthame@googlemail.com> | 2008-05-27 23:24:12 +0000 |
commit | 034018303a744b73a96e205215ae9b0a151f3779 (patch) | |
tree | 386a430b50a8e54f6577202176d58c33de2570b1 /Build/source/texk | |
parent | 29810a28a0d06ec606765cf220cedd844b718e5d (diff) |
synctex: don't print error message for missing file, just return NULL
git-svn-id: svn://tug.org/texlive/trunk@8369 c570f23f-e606-0410-a88d-b1316a301751
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; |