From 7abc319a2ce0f7f2b45bc619eb20d1b9df31f7f3 Mon Sep 17 00:00:00 2001
From: baldurk <baldurk@baldurk.org>
Date: Tue, 2 Jan 2018 12:34:26 +0000
Subject: [PATCH] Add default precision for logo fragment shader

---
 renderdoccmd/renderdoccmd_android.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/renderdoccmd/renderdoccmd_android.cpp b/renderdoccmd/renderdoccmd_android.cpp
index 8566c2240..dc40795a3 100644
--- a/renderdoccmd/renderdoccmd_android.cpp
+++ b/renderdoccmd/renderdoccmd_android.cpp
@@ -145,6 +145,8 @@ void DisplayGenericSplash()
               "void main() { gl_Position = vec4(pos, 0.5, 1.0); }";
 
           const char *fragment = R"(
+precision highp float;
+
 float circle(in vec2 uv, in vec2 centre, in float radius)
 {
   return length(uv - centre) - radius;