CHROMIUM: CONFIG: Change PS8622 to DRM_PS8622
authorSean Paul <seanpaul@chromium.org>
Mon, 25 Feb 2013 20:52:26 +0000 (15:52 -0500)
committerChromeBot <chrome-bot@google.com>
Mon, 4 Mar 2013 22:07:06 +0000 (14:07 -0800)
commitb1e865b86d215d014fcc7ce338ee263bf3f6f58c
treeb96e9832735fd0b699bce2931fe7ea38e95277dd
parentf79d6934366b420182c31e253b9e52540e700f30
CHROMIUM: CONFIG: Change PS8622 to DRM_PS8622

The config option changed, update to reflect the new name.

BUG=chrome-os-partner:17557
TEST=Builds

Change-Id: Id904cf20c2bda00dd7a2a9d59c70297ef1e05e2d
Signed-off-by: Sean Paul <seanpaul@chromium.org>
Reviewed-on: https://gerrit.chromium.org/gerrit/43940
Reviewed-by: Stéphane Marchesin <marcheu@chromium.org>
Commit-Queue: Vincent Palatin <vpalatin@chromium.org>
Tested-by: Vincent Palatin <vpalatin@chromium.org>
chromeos/config/armel/chromeos-exynos5.flavour.config