diff options
Diffstat (limited to 'Rules')
| -rw-r--r-- | Rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Rules b/Rules index 45417e0142..89050bedf1 100644 --- a/Rules +++ b/Rules @@ -122,7 +122,7 @@ subdir_echo-headers: echo-headers .PHONY: subdir_echo-distinfo subdir_echo-distinfo: - @echo $(addprefix +header+,$(headers)) \ + @echo $(addprefix +header+,$(headers) $(filter %.h,$(distribute))) \ $(addprefix +nodist+,$(generated) $(common-generated) $(dont_distribute)) # We want to install everything except the library itself, but update all |