From 9bc1726433aac01abe57059fae96e2c8c429564c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?M=C3=A1ty=C3=A1s=20Mustoha?= <mmatyas@inf.u-szeged.hu>
Date: Wed, 21 Sep 2016 11:15:27 +0200
Subject: [PATCH] Use GL ES3 on ARM devices

---
 ports/glutin/window.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ports/glutin/window.rs b/ports/glutin/window.rs
index f45bc723b3a..f005a057832 100644
--- a/ports/glutin/window.rs
+++ b/ports/glutin/window.rs
@@ -317,7 +317,7 @@ impl Window {
         }
     }
 
-    #[cfg(not(target_os = "android"))]
+    #[cfg(not(any(target_arch = "arm", target_arch = "aarch64")))]
     fn gl_version() -> GlRequest {
         if opts::get().use_webrender {
             return GlRequest::Specific(Api::OpenGl, (3, 2));
@@ -332,7 +332,7 @@ impl Window {
         }
     }
 
-    #[cfg(target_os = "android")]
+    #[cfg(any(target_arch = "arm", target_arch = "aarch64"))]
     fn gl_version() -> GlRequest {
         GlRequest::Specific(Api::OpenGlEs, (3, 0))
     }