aboutsummaryrefslogtreecommitdiff
path: root/src/util
diff options
context:
space:
mode:
authorLoïc Blot <nerzhul@users.noreply.github.com>2019-01-04 16:41:42 +0100
committerLoïc Blot <loic.blot@unix-experience.fr>2019-01-04 16:45:37 +0100
commit9854340c0b21d01a94ba7ef526c775e59e37b898 (patch)
treeedb0751e0b303d214c5e80a4b5f534583017daa7 /src/util
parent6b978f88e3c84ba55a2ef8fb0fbe1356aa13733f (diff)
downloadminetest-9854340c0b21d01a94ba7ef526c775e59e37b898.tar.gz
minetest-9854340c0b21d01a94ba7ef526c775e59e37b898.tar.bz2
minetest-9854340c0b21d01a94ba7ef526c775e59e37b898.zip
Drop libgmp on Android and use mini-gmp (#8047)
Diffstat (limited to 'src/util')
-rw-r--r--src/util/srp.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/srp.cpp b/src/util/srp.cpp
index d825f0ebc..f4d369d68 100644
--- a/src/util/srp.cpp
+++ b/src/util/srp.cpp
@@ -46,7 +46,7 @@
#include <config.h>
-#if USE_SYSTEM_GMP || defined (__ANDROID__) || defined (ANDROID)
+#if USE_SYSTEM_GMP
#include <gmp.h>
#else
#include <mini-gmp.h>