| 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.
|
|
|