diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index d0b9652c..9c61d6a3 100644 --- a/src/Makefile +++ b/src/Makefile @@ -753,7 +753,7 @@ distcheck: # Cleanup ###################################################################### -.PHONY: clean tidy +.PHONY: clean native-clean tidy tidy: @$(call CFG_ECHO, check: formatting) @@ -762,6 +762,9 @@ tidy: ../README \ $(filter-out $(GENERATED) $(PKG_3RDPARTY), $(PKG_FILES)) +runtime-clean: + $(CFG_QUIET)rm -f $(RUNTIME_OBJS) $(CFG_RUNTIME) + clean: @$(call CFG_ECHO, cleaning) $(CFG_QUIET)rm -f $(RUNTIME_OBJS) |