From 2cf9a103169a91dd7c09496b27e1a6358042ff69 Mon Sep 17 00:00:00 2001
From: Pietro Monteiro <pietro@riseup.net>
Date: Tue, 28 Mar 2017 19:00:29 -0700
Subject: [PATCH] Use softfp float ABI on 32bit ARM Android GCC.

---
 src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib.rs b/src/lib.rs
index 85d7d22..e97f095 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -602,6 +602,7 @@ impl Config {
                 if target.starts_with("armv7-linux-androideabi") {
                     cmd.args.push("-march=armv7-a".into());
                     cmd.args.push("-mfpu=vfpv3-d16".into());
+                    cmd.args.push("-mfloat-abi=softfp".into());
                 }
 
                 // For us arm == armv6 by default