aboutsummaryrefslogtreecommitdiff
path: root/Make-dist
diff options
context:
space:
mode:
Diffstat (limited to 'Make-dist')
-rw-r--r--Make-dist1
1 files changed, 1 insertions, 0 deletions
diff --git a/Make-dist b/Make-dist
index c1ae46a6cc..fb2db62919 100644
--- a/Make-dist
+++ b/Make-dist
@@ -65,6 +65,7 @@ all-headers = $(filter-out $(sysdep_headers),$(headers))
else
+distinfo := $(shell MAKEFLAGS= MFLAGS= $(MAKE) -s no_deps=t \
inhibit_interface_rules=t inhibit_mach_syscalls=t \
+ inhibit_timezone_rules=t \
subdirs='$(subdirs)' echo-distinfo | grep -v '^make')
foo:=$(shell echo>&2 '+distinfo=$(+distinfo)')
all-headers := $(patsubst +header+%,%,$(filter +header+%,$(+distinfo)))