diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Make-dist b/Make-dist index 3f5a0e3183..bba703cb26 100644 --- a/Make-dist +++ b/Make-dist @@ -62,6 +62,9 @@ all-headers := $(sort $(headers) $(wildcard $(all-headers))) endif foo:=$(shell echo 'IS THIS WORKING??? all-headers=$(all-headers)' >&2) +sources += $(addsuffix .c,$(elided-routines) \ + $(foreach l,$(extra-libs),$($l-routines))) + # Find all sysdep sources and headers. +maybe-sysdeps := $(sources) $(sources:.c=.s) $(sources:.c=.S) $(all-headers) \ $(filter %.c %.S %.s %.h %.sub,$(distribute)) |