diff options
| author | Alessandro Astone <ales.astone@gmail.com> | 2020-03-07 19:00:19 +0100 |
|---|---|---|
| committer | Arian <arian.kulmer@web.de> | 2020-07-30 10:52:43 +0200 |
| commit | 97eeb7f5dd71bfbb2cd6c0743782ac9945ff9885 (patch) | |
| tree | 7e8459dced2bc1778db9aef7ea1e5d972895c16a /setup-makefiles.sh | |
| parent | 6006adb6656dcc2477a5ed25378e316e967824ac (diff) | |
shinano-common: 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
Diffstat (limited to 'setup-makefiles.sh')
0 files changed, 0 insertions, 0 deletions