From 3ae9fd7b88e32a642cfe39a9c9e7b2f7c7c295e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Mart=C3=AD?= <mvdan@mvdan.cc>
Date: Fri, 10 Jan 2014 22:37:26 +0100
Subject: [PATCH] Try to support AndroidPinning via gradle (won't work as-is)

---
 build.gradle    | 1 +
 settings.gradle | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 settings.gradle

diff --git a/build.gradle b/build.gradle
index a64f6146c..e9e9d7c6d 100644
--- a/build.gradle
+++ b/build.gradle
@@ -11,6 +11,7 @@ apply plugin: 'android'
 
 dependencies {
 	compile files('libs/android-support-v4.jar')
+	compile project(':extern:AndroidPinning')
 }
 
 android {
diff --git a/settings.gradle b/settings.gradle
new file mode 100644
index 000000000..d6ec4ceb0
--- /dev/null
+++ b/settings.gradle
@@ -0,0 +1 @@
+include ':extern:AndroidPinning'