diff options
Diffstat (limited to 'mach/Makefile')
| -rw-r--r-- | mach/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/mach/Makefile b/mach/Makefile index 509785cb60..dbb5da5b90 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -183,8 +183,12 @@ endif # Be sure not to make these with implicit rules from foo.defs. mach.h mach/memory_object.h: ; +ifneq (,) +# A gcc bug prevents the generated file from working properly, +# so we have one in the distribution for the time being. generated += errsystems.c $(objpfx)errsystems.c: errsystems.awk err_*.sub \ $(wildcard $(addsuffix /err_*.sub,$(+sysdep_dirs))) gawk -v subsys='$(filter-out $<,$^)' -f $^ > $@.n mv $@.n $@ +endif |