diff options
Diffstat (limited to 'mach/Makefile')
| -rw-r--r-- | mach/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/mach/Makefile b/mach/Makefile index cf274ceebb..db7f3aa628 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -166,3 +166,9 @@ $(objpfx)errsystems.c: errsystems.awk err_*.sub \ $(wildcard $(addsuffix /err_*.sub,$(+sysdep_dirs))) $(AWK) -v subsys='$(filter-out $<,$^)' -f $^ > $@.n mv -f $@.n $@ + + +# Convenient target to update all the generated source files. +.PHONY: generated +generated: $(addprefix $(common-objpfx),$(common-generated)) \ + $(addprefix $(objpfx),$(generated)) |