From 45ed6a52514d40b3bd46e078846b10a7297886eb Mon Sep 17 00:00:00 2001
From: maxwen <max.weninger@gmail.com>
Date: Mon, 13 Aug 2018 15:07:14 +0200
Subject: [PATCH] manifest: remove uneeded generic device repos

Change-Id: Idf7a4e1f46bd0a79434516004343cf4ff511039a
---
 remove.xml | 6 ++++++
 1 file changed, 6 insertions(+)

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" />