commit 45ed6a52514d40b3bd46e078846b10a7297886eb
author maxwen <max.weninger@gmail.com> Mon Aug 13 15:07:14 2018 +0200
committer Max Weninger <max.weninger@gmail.com> Mon Aug 13 15:08:23 2018 +0200
tree 2b8a2e46c67e9f6291fe83aa4659489a23f8aace
parent b872b5ca6c4e3ee13331035e7a49fc54a51bffcb

manifest: remove uneeded generic device repos

Change-Id: Idf7a4e1f46bd0a79434516004343cf4ff511039a

remove.xml

diff --git a/remove.xml b/remove.xml
index 19f521b..64628f9 100644
--- a/remove.xml
+++ b/remove.xml
@@ -22,6 +22,12 @@
   <remove-project name="device/generic/car" />
   <remove-project name="device/generic/mips" />
   <remove-project name="device/generic/mips64" />
+  <remove-project name="device/generic/mini-emulator-arm64" />
+  <remove-project name="device/generic/mini-emulator-armv7-a-neon" />
+  <remove-project name="device/generic/mini-emulator-mips" />
+  <remove-project name="device/generic/mini-emulator-mips64" />
+  <remove-project name="device/generic/mini-emulator-x86" />
+  <remove-project name="device/generic/mini-emulator-x86_64" />
   <remove-project name="device/generic/qemu" />
   <remove-project name="device/generic/x86" />
   <remove-project name="device/generic/x86_64" />