From ca310f54024439ddcfe07419f9376564522ae969 Mon Sep 17 00:00:00 2001
From: Bananeweizen <bananeweizen@gmx.de>
Date: Mon, 30 Sep 2013 17:44:29 +0200
Subject: build: error on duplicate ids

* by default, duplicate ids only show a warning
* generally, this will be wrong at runtime, therefore make it an error
---
 main/lint.xml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'main')

diff --git a/main/lint.xml b/main/lint.xml
index c3e66b2..a420bfa 100644
--- a/main/lint.xml
+++ b/main/lint.xml
@@ -1,6 +1,8 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <lint>
     <issue id="ContentDescription" severity="ignore" />
+    <issue id="DuplicateIds" severity="error" />
+    <issue id="DuplicateIncludedIds" severity="error" />
     <issue id="ExportedContentProvider" severity="ignore" />
     <issue id="InvalidPackage" severity="ignore" />
     <issue id="MissingTranslation" severity="ignore" />
-- 
cgit v1.1