From e42e7044443eec10b97e90f8bb039658608d7c03 Mon Sep 17 00:00:00 2001
From: Mesalu <samuel@mesalu.com>
Date: Thu, 8 Feb 2018 21:49:37 -0800
Subject: [PATCH] FIX, er, I mean, tweak build.py to have clean_all, which is
 the same as callign cleanall

---
 build.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.py b/build.py
index 41ed39ac..8fc83da4 100755
--- a/build.py
+++ b/build.py
@@ -1731,6 +1731,8 @@ def cmd_clean_vagrant(options, args):
     if os.path.exists(d):
         shutil.rmtree(d)
 
+def cmd_clean_all(options, args):
+    cmd_cleanall(options, args)
 
 def cmd_cleanall(options, args):
     # These take care of all the object, lib, shared lib files created by the