at work

2023-08-18 22:38:43 +02:00
parent db3bbf21c8
commit bdfed6f56b
20 changed files with 609 additions and 291 deletions
--- a/Makefile.in
+++ b/Makefile.in
@@ -895,6 +895,7 @@ valgrind: $(bin_TESTS)
 clean-local:
 	rm -rf autom4te.cache
 	rm -rf *~
+	rm -rf run log

 #install-data-local:
 #	test -z $(DESTDIR)$(APP_LIBDIR) || $(MKDIR_P) $(DESTDIR)$(APP_LIBDIR)