Added "make indentclean".

2023-09-05 23:35:22 +01:00
parent 175e66cd43
commit 8bc088d016
1 changed files with 3 additions and 0 deletions
@@ -97,6 +97,9 @@ SUFFIXES = .c .o .e
 indent:
 	cd $(srcdir) && indent -npro -kr -i8 -cd42 -c45 -l120 src/*/*.c

+indentclean:
+	rm -f $(srcdir)/*/*.c~
+
 analyse: $(pv_SOURCES:.c=.e) FORCE
 	grep -E -e '^Finished checking --' -e 'Hits = ' $+ 2>/dev/null || true