diff options
Diffstat (limited to 'config.make.in')
| -rw-r--r-- | config.make.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.make.in b/config.make.in index 0735dcac..a5e5632c 100644 --- a/config.make.in +++ b/config.make.in @@ -7,6 +7,7 @@ asm_syntax = @asm_syntax@ # Build options. build-profiled = @enable_profile@ build-static = @enable_static_progs@ +boot-store-types = @boot_store_types@ # Prefix prepended to names of machine-independent installed files. prefix = @prefix@ |