diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.in')
-rw-r--r-- | Build/source/texk/web2c/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/Makefile.in b/Build/source/texk/web2c/Makefile.in index f6375aa09ec..bc97eee3388 100644 --- a/Build/source/texk/web2c/Makefile.in +++ b/Build/source/texk/web2c/Makefile.in @@ -2173,7 +2173,7 @@ synctex_SOURCES = \ synctexdir/synctex_parser_utils.c synctex_CPPFLAGS = -I$(srcdir)/synctexdir $(ZLIB_INCLUDES) -DSYNCTEX_USE_LOCAL_HEADER -synctex_CFLAGS = # $(WARNING_CFLAGS) +synctex_CFLAGS = $(WARNING_CFLAGS) synctex_LDADD = $(ZLIB_LIBS) @TEX_SYNCTEX_TRUE@tex_ch_synctex = \ @TEX_SYNCTEX_TRUE@ synctexdir/synctex-mem.ch0 \ |