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