diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Make-dist b/Make-dist index df06fba3c1..981d5e68f4 100644 --- a/Make-dist +++ b/Make-dist @@ -96,7 +96,7 @@ foo:=$(shell echo 'try-sysdeps=$(try-sysdeps)'>&2) foo:=$(shell echo 'generic +sysdeps=$(+sysdeps)'>&2) +sysdep-names := $(sort $(patsubst $(..)sysdeps/generic/%,%,\ $(patsubst $(..)sysdeps/libm-ieee754/%,%,\ - $(+sysdeps))))) + $(+sysdeps)))) foo:=$(shell echo '+sysdep-names=$(+sysdep-names)' >&2) ifdef subdir-dirs |