diff options
| author | Roland McGrath <roland@gnu.org> | 2002-03-12 03:01:02 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 2002-03-12 03:01:02 +0000 |
| commit | 57bc192c7678d2fea59f78f4850caf8d3bb006ed (patch) | |
| tree | 4db74c771e7afe2b027a1b4255f6784b33751884 /config.make.in | |
| parent | fd7075da38b18931b3e6027bd6881f1c0966f86c (diff) | |
2002-03-11 Roland McGrath <roland@frob.com>
* configure.in (--enable-boot-store-types): Grok this arg.
* config.make.in (boot-store-types): New variable, set by it.
* Makeconf [$(dir) != libstore]
($(boot-store-types:%=../libstore/libstore_%.a)): Make these targets
depend on ../libstore/libstore.so.
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@ |