summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@gnu.org>1995-04-01 04:47:38 +0000
committerRoland McGrath <roland@gnu.org>1995-04-01 04:47:38 +0000
commitecd72120faf62684489ae08cc7e23d2775c79f36 (patch)
tree785bb04d344f374c1ad3c05ad9fddbf08f4d3341
parent2ff8f479aa69c975278f237b02efb95870aa2651 (diff)
[makemode=library] (install): Only do $(installhdrs) if defined.
-rw-r--r--Makeconf2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makeconf b/Makeconf
index 192b1b6c..0f1a58cf 100644
--- a/Makeconf
+++ b/Makeconf
@@ -146,7 +146,9 @@ endif
ifeq ($(makemode),library)
all: $(libname).a
install: $(libname).a $(installhdrs)
+ ifdef installhdrs
$(INSTALL_DATA) $(installhdrs) $(includedir)/hurd/
+ endif
$(INSTALL_DATA) $(libname).a $(hurdinst)/lib/$(libname).a
ranlib $(hurdinst)/lib/$(libname).a
endif