| Index: host/start_devserver
|
| diff --git a/host/start_devserver b/host/start_devserver
|
| index 58c6942cc334690e2d4e243a2d99220adda593ea..d4f60ba24aab281bee8702407703c7c5d1b1d174 100755
|
| --- a/host/start_devserver
|
| +++ b/host/start_devserver
|
| @@ -32,9 +32,6 @@ if [[ "$1" != "--archive_dir" ]]; then
|
| restart_in_chroot_if_needed "$@"
|
| fi
|
|
|
| -# Temporary workaround: to start devserver for update engine, pass in args
|
| -# --client_prefix ChromeOSUpdateEngine
|
| -
|
| # Set PKG_INSTALL_MASK if it's not set already.
|
| if [ -z "${PKG_INSTALL_MASK+x}" ]; then
|
| export PKG_INSTALL_MASK="${DEFAULT_INSTALL_MASK}"
|
|
|