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 6ac85f9e..c9371150 100644 --- a/config.make.in +++ b/config.make.in @@ -6,6 +6,7 @@ asm_syntax = @asm_syntax@ # Build options. build-profiled = @enable_profile@ +build-static = @enable_static_progs@ # Prefix prepended to names of machine-independent installed files. prefix = @prefix@ |