From 50ee8c85ca6c6d5d9391ab1bd36a0729a3f13e5a Mon Sep 17 00:00:00 2001
From: Boris Kraut <krt@blackbox.local>
Date: Sun, 19 Oct 2014 20:10:13 +0200
Subject: [PATCH] Update Pixel Dungeon to 1.7.2a (61)

---
 metadata/com.watabou.pixeldungeon.txt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/metadata/com.watabou.pixeldungeon.txt b/metadata/com.watabou.pixeldungeon.txt
index 2cfc7ac6cc..7978fe9dd4 100644
--- a/metadata/com.watabou.pixeldungeon.txt
+++ b/metadata/com.watabou.pixeldungeon.txt
@@ -24,13 +24,12 @@ Build:1.7.1c,59
     target=android-18
 
 Build:1.7.2a,61
-    disable=doesn't compile
     commit=3ce26c2541dcf9d1f01642289acb4495586b50b0
     srclibs=PDClasses@9ee29184de9a569c2435929f4f0d435d4edd6f48
     patch=types-172a.patch
     prebuild=cp -R $$PDClasses$$/com/watabou/* src/com/watabou/ && \
         echo -e 'java.source=1.7\njava.target=1.7\njava.encoding=ISO-8859-1' >> ant.properties
-    target=android-18
+    target=android-19
 
 Auto Update Mode:None
 Update Check Mode:RepoManifest