Update infrastructure to the fact that the bench directory has been deleted

2024-01-19 22:27:33 +01:00
1 parent f7580e7ce9
commit d7a232364f
@@ -66,7 +66,6 @@ doc:	html doc/depend.png
 clean:
 	cd tests && $(MAKE) clean
 	cd example && $(MAKE) clean
-	cd bench && $(MAKE) clean
 	$(RM) README.html depend.dot
 	$(RM) -r 'm_lib-$(VERSION)'
 	$(RM) 'm_lib-$(VERSION).tar.bz2'