Use PKG_INSTALL_MASK to prevent debug symbols from getting into the binpkg.

start_devserver

 #!/bin/bash
 
 # Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 # Start the Dev Server after making sure we are running under a chroot.
 
 . "$(dirname "$0")/common.sh"
 
@@ skipping 15 matching lines @@
 
 CLIENT_PREFIX=
 if [ "${FLAGS_update_engine}" -eq "${FLAGS_TRUE}" ] ; then
   echo "!!! devserver will only handle request from update_engine"
   # --client_prefix flag is defined in devserver.py
   CLIENT_PREFIX="--client_prefix ChromeOSUpdateEngine"
 else
   echo "!!! devserver will only handle request from memento_updater"
 fi
 
+# Set PKG_INSTALL_MASK if it's not set already.
+if [ -z "${PKG_INSTALL_MASK+x}" ]; then
+  export PKG_INSTALL_MASK="${DEFAULT_INSTALL_MASK}"
+fi
+echo PKG_INSTALL_MASK=$PKG_INSTALL_MASK
+
 cd ${GCLIENT_ROOT}/src/platform/dev && python devserver.py ${CLIENT_PREFIX} $*