Index: devserver.py |
diff --git a/devserver.py b/devserver.py |
index 7d4162d9475e919273f721dcc90b60e5a3bc449b..dc670af71b57f68106e9eddc867e11af2d8c64bc 100755 |
--- a/devserver.py |
+++ b/devserver.py |
@@ -193,7 +193,8 @@ if __name__ == '__main__': |
proxy_port=options.proxy_port, |
src_image=options.src_image, |
vm=options.vm, |
- board=options.board) |
+ board=options.board, |
+ copy_to_static_root=not options.exit) |
# Sanity-check for use of validate_factory_config. |
if not options.factory_config and options.validate_factory_config: |