From 28ae71ebe9ae2bc16fc1bc3edda4b036d69056a5 Mon Sep 17 00:00:00 2001
From: Alessandro Astone <ales.astone@gmail.com>
Date: Fri, 20 Mar 2020 11:55:49 +0100
Subject: [PATCH] deb: gps: Make use of gps_debug.conf to set xtra servers

 * Just bind mount gps.conf to gps_debug.conf
   We can't directly build gps_debug.conf because it's a common target
   and we're not allowed to override targets anymore.

Change-Id: Ia3c96665b50b0fe478e44186d1c65be723acbf5a
---
 rootdir/etc/init.deb.rc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/rootdir/etc/init.deb.rc b/rootdir/etc/init.deb.rc
index deaa065..f40b147 100644
--- a/rootdir/etc/init.deb.rc
+++ b/rootdir/etc/init.deb.rc
@@ -39,6 +39,9 @@ on fs
     restorecon_recursive /persist
     write /sys/kernel/boot_adsp/boot 1
 
+    # GnssConfiguration doesn't actually look at gps.conf, just the debug file
+    mount none /system/etc/gps.conf /system/etc/gps_debug.conf bind
+
 on early-boot
     # set RLIMIT_MEMLOCK to 64MB
     setrlimit 8 67108864 67108864