diff options
Diffstat (limited to 'src/pki/man/Makefile.in')
| -rw-r--r-- | src/pki/man/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pki/man/Makefile.in b/src/pki/man/Makefile.in index e40aca3b4..a469f8b1c 100644 --- a/src/pki/man/Makefile.in +++ b/src/pki/man/Makefile.in @@ -313,6 +313,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@ @@ -335,6 +336,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@ |