From 89b68a35920a65a9dd470bbfa4b21e179abef8b1 Mon Sep 17 00:00:00 2001
From: darkobas <darkobas@gmail.com>
Date: Thu, 5 Jul 2018 16:59:57 +0200
Subject: [PATCH] manifest: use forked art

Change-Id: I4d6f5e9dfee4ed3714d1e40fd93b0d17c9ac5590
---
 omni-aosp.xml | 1 +
 remove.xml    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/omni-aosp.xml b/omni-aosp.xml
index be6ec06..d144188 100644
--- a/omni-aosp.xml
+++ b/omni-aosp.xml
@@ -8,6 +8,7 @@
            fetch="https://github.com/omnirom"
            review="gerrit.omnirom.org" />
 
+  <project path="art" name="android_art" remote="omnirom" revision="android-8.1" groups="pdk" />
   <project path="bionic" name="android_bionic" remote="omnirom" revision="android-8.1" groups="pdk" />
 
   <project path="build/make" name="android_build" remote="omnirom" revision="android-8.1" groups="pdk" >
diff --git a/remove.xml b/remove.xml
index bbf65ad..4d77c49 100644
--- a/remove.xml
+++ b/remove.xml
@@ -8,6 +8,7 @@
   <remove-project name="device/google/wahoo" />
   <remove-project name="device/google/wahoo-kernel" />
 
+  <remove-project name="platform/art" />
   <remove-project name="platform/bionic" />
   <remove-project name="platform/build" />
   <remove-project name="platform/build/soong" />