diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 3 |
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)) |