diff --git a/Makefile b/Makefile index 714f5b3..406b26d 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ clean: - rm -rf rs/__pycache__ smt/rs/__pycache__ __pycache__ + rm -rf rs/__pycache__ smt/rs/__pycache__ logics/__pycache__ __pycache__ find . -name '*.pyc' -exec rm -f {} \; cleanall: clean - rm -rf *.log \ No newline at end of file + rm -rf *.log