diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 15c35b3c..ff9dae16 100644 --- a/src/Makefile +++ b/src/Makefile @@ -938,7 +938,7 @@ tidy: $(CFG_QUIET) python etc/tidy.py \ $(wildcard ../*.txt) \ ../README \ - $(filter-out $(GENERATED) $(PKG_3RDPARTY), $(PKG_FILES)) + $(filter-out $(GENERATED) $(PKG_3RDPARTY) etc/%, $(PKG_FILES)) runtime-clean: $(CFG_QUIET)rm -f $(RUNTIME_OBJS) $(CFG_RUNTIME) |