diff --git a/cros_workon b/cros_workon index 9fb7c37bee..d7ecc65d5d 100755 --- a/cros_workon +++ b/cros_workon @@ -132,7 +132,8 @@ regen_manifest_and_sync() { local_manifest="${REPODIR}/local_manifest.xml" # preserve old manifest entries - MANIFEST_ENTRIES_OLD=$(cat "${local_manifest}" | grep "^