diff options
author | Roland McGrath <roland@gnu.org> | 1994-08-03 01:28:04 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1994-08-03 01:28:04 +0000 |
commit | b302976a0b1e038e5ae46232d4ce8062901849a3 (patch) | |
tree | ef56b80e11a6218d630c301419a81e575d4c5036 /Make-dist | |
parent | 81dfd35ecf2d05f575836e27142f44e940f3f357 (diff) |
(all-headers): Instead of removing rpcsvc/%, use $(wildcard) to remove all
headers that don't exist at top level, but preserve top-level $(headers).
Diffstat (limited to 'Make-dist')
-rw-r--r-- | Make-dist | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -46,11 +46,8 @@ else +distinfo := $(shell MAKEFLAGS= MFLAGS= $(MAKE) -s no_deps=t no_ir=t \ echo-distinfo | grep -v '^make') all-headers := $(patsubst +header+%,%,$(filter +header+%,$(+distinfo))) -# Filter out the generated rpc headers; they don't have top-level indirections. -# It is not safe to use `$(wildcard $(all-headers))' to ignore headers -# without top-level indirections because some of $(all-headers) might need -# to be found in sysdeps/. -all-headers := $(filter-out rpcsvc/%,$(all-headers)) +# Ignore subdir headers without top-level indirections. +all-headers := $(sort $(headers) $(wildcard $(all-headers))) +subdir-nodist := $(patsubst +nodist+%,%,$(filter +nodist+%,$(+distinfo))) +subdir-headers := $(filter-out $(headers),$(all-headers)) endif |