about summary refs log tree commit diff
path: root/Make-dist
diff options
context:
space:
mode:
Diffstat (limited to 'Make-dist')
-rw-r--r--Make-dist3
1 files changed, 2 insertions, 1 deletions
diff --git a/Make-dist b/Make-dist
index 13df78abce..30b9749e91 100644
--- a/Make-dist
+++ b/Make-dist
@@ -122,7 +122,8 @@ sources := $(filter-out $(addsuffix .c,$(basename $(.S.s))),$(sources)) $(.S.s)
 	$(+subdir-nodist) $(dont_distribute)
 foo:=$(shell echo '+out=$(+out)' >&2; echo foofoo >&2)
 +tsrcs	:= $(filter-out $(+out), $(sources) $(all-headers) $(distribute)) \
-	   $(foreach l,$(extra-libs),$($l-map)) $(+sysdeps)
+	   $(foreach l,$(extra-libs),$($l-map)) \
+	   $(wildcard $(addsuffix .map,$(extra-libs))) $(+sysdeps)
 foo:=$(shell echo 'made +tsrcs=$(+tsrcs)'>&2)
 foo:=$(shell echo generated='$(generated)' >&2)
 #generated := $(sort $(generated) $(generated:.S=.c) $(generated:.s=.c))