tree 08f1523d55beaa6a25bdd05ddc7265b488c11d41
parent ebdf16b462d39f7357c36acb5cee014eb7741ecd
author Mike Frysinger <vapier@chromium.org> 1550949972 -0500
committer chrome-bot <chrome-bot@chromium.org> 1551512470 -0800

dev-install: manually install package.provided into the custom profile

We want this file when we have a base image and we've run `dev_install`.
If we have a dev/test image, we don't need this as we'll have the full
/var/db/pkg environment.  So have dev-install manually install this into
the custom profile in /usr/local/etc/profile.

BUG=chromium:920140
TEST=precq passes
CQ-DEPEND=CL:1494234

Change-Id: Ic59b9584e97d5f6054e27bf38895fbfc9b3dc25a
Reviewed-on: https://chromium-review.googlesource.com/1494274
Commit-Ready: Mike Frysinger <vapier@chromium.org>
Tested-by: Mike Frysinger <vapier@chromium.org>
Reviewed-by: Ned Nguyen <nednguyen@google.com>