From 66c7e0a66d827e09b03857847f377fbc6af26588 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Sun, 13 Sep 2020 17:05:21 -0400 Subject: [PATCH] makefile: delete mjo/__pycache__ with "make clean". --- makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/makefile b/makefile index 858d067..ec7406f 100644 --- a/makefile +++ b/makefile @@ -4,3 +4,4 @@ check: PYTHONPATH="." $(SAGE) -t mjo/ clean: find ./ -type f -name '*.pyc' -delete + find ./ -type d -name '__pycache__' -delete -- 2.43.2