Index: devserver.py |
diff --git a/devserver.py b/devserver.py |
index 3737cc08924481f9f89a2d8643b68b4c0add41d6..73aa3ba717328545ae6b5ac07114cdb507f09d68 100644 |
--- a/devserver.py |
+++ b/devserver.py |
@@ -37,6 +37,10 @@ class build: |
err = os.system(emerge_command) |
if err != 0: |
raise Exception('failed to execute %s' % emerge_command) |
+ eclean_command = 'eclean-%s -d packages' % input.board |
+ err = os.system(eclean_command) |
+ if err != 0: |
+ raise Exception('failed to execute %s' % emerge_command) |
def OverrideWSGIServer(server_address, wsgi_app): |
"""Creates a CherryPyWSGIServer instance. |