1 files changed, 1 insertions, 0 deletions

diff --git a/run b/run
index cd8a023..6787fc9 100755
--- a/run
+++ b/run
@@ -136,6 +136,7 @@ make_tidy() {
 
 make_clean() {
     rm -rf build/
+    make clean
 }
 
 if [ "${mode}" = "cross" ]; then