diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -79,4 +79,4 @@ clean_docs: $(RM) -rf docs/output .PHONY: clean_all -clean_all: clean clean_run clean_docs +clean_all: clean clean_run clean_docs clean_tests clean_benchmarks |
