From 4af62bb53676b7f721b46cabee78cac3a557e924 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Wed, 5 Aug 2020 18:28:26 +0200
Subject: Some proc things

---
 run | 1 +
 1 file changed, 1 insertion(+)

(limited to 'run')

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
-- 
cgit v1.2.3