diff options
Diffstat (limited to 'src/pool')
| -rw-r--r-- | src/pool/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pool/Makefile.in b/src/pool/Makefile.in index d67830ea8..415de5503 100644 --- a/src/pool/Makefile.in +++ b/src/pool/Makefile.in @@ -358,6 +358,7 @@ docdir = @docdir@ dvidir = @dvidir@ exec_prefix = @exec_prefix@ fips_mode = @fips_mode@ +fuzz_plugins = @fuzz_plugins@ gtk_CFLAGS = @gtk_CFLAGS@ gtk_LIBS = @gtk_LIBS@ host = @host@ @@ -380,6 +381,7 @@ json_CFLAGS = @json_CFLAGS@ json_LIBS = @json_LIBS@ libdir = @libdir@ libexecdir = @libexecdir@ +libfuzzer = @libfuzzer@ libiptc_CFLAGS = @libiptc_CFLAGS@ libiptc_LIBS = @libiptc_LIBS@ linux_headers = @linux_headers@ |