From 530ecbc4b915ffa542dc2952e4f8c439c4f925bd Mon Sep 17 00:00:00 2001
From: Mesalu <samuel@mesalu.com>
Date: Thu, 15 Aug 2019 18:19:22 -0700
Subject: [PATCH] Update build.py

Call `cmd_clean_docker` in `cmd_cleanall` instead of `cmd_clean_vagrant`
---
 build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.py b/build.py
index a554ede9..73c40a87 100755
--- a/build.py
+++ b/build.py
@@ -1876,7 +1876,7 @@ def cmd_cleanall(options, args):
         files += glob.glob(wc)
     delFiles(files)
 
-    cmd_clean_vagrant(options, args)
+    cmd_clean_docker(options, args)
 
 
 def cmd_buildall(options, args):