From 0984045e02958e72c1f504e1b1b5eae3c6bfdeed Mon Sep 17 00:00:00 2001
From: Jon Haus <haus.xda@gmail.com>
Date: Sun, 10 Nov 2013 18:12:06 -0500
Subject: [PATCH] manifest: add remote for android_art

Add omnirom remote and branch for android_art
update: corrected repo name

Change-Id: I7068114f7365471cf2bc12800c7c30976950b4d4
---
 default.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.xml b/default.xml
index 4fa921a..c8d5808 100644
--- a/default.xml
+++ b/default.xml
@@ -26,7 +26,7 @@
   <project path="android" name="android" remote="omnirom" revision="android-4.4" />
 
   <project path="abi/cpp" name="platform/abi/cpp" groups="pdk" />
-  <project path="art" name="platform/art" />
+  <project path="art" name="android_art" remote="omnirom" revision="android-4.4" />
   <project path="bionic" name="android_bionic" remote="omnirom" revision="android-4.4" />
   <project path="bootable/bootloader/legacy" name="platform/bootable/bootloader/legacy" />
   <project path="bootable/diskinstaller" name="platform/bootable/diskinstaller" />