diff options
Diffstat (limited to 'project/arch.mk')
| -rw-r--r-- | project/arch.mk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/project/arch.mk b/project/arch.mk index 76bca17..8f6a112 100644 --- a/project/arch.mk +++ b/project/arch.mk @@ -38,3 +38,16 @@ endif install-target-sys-headers: $(TARGET_SYS_HEADERS) mkdir -p $(DESTDIR)$(INCLUDEDIR)/sys cp -p $(TARGET_SYS_HEADERS) $(DESTDIR)$(INCLUDEDIR)/sys + + + +# fallback alltypes.sed +build/alltypes.sed: + touch $@ + +clean-alltypes-sed: + rm -f build/alltypes.sed + +clean: clean-alltypes-sed + +.PHONY: clean-alltypes-sed |