mirrors/gnss-sdr
1
0
Fork 0
mirror of https://github.com/gnss-sdr/gnss-sdr synced 2025-10-23 03:27:39 +00:00
Code Issues Releases Wiki Activity

Move patch files of external tools to their own folder

Browse Source
This commit is contained in:
Carles Fernandez
2025-08-07 13:33:12 +02:00
parent 13ef99ec57
commit 4d616a006e
8 changed files with 16 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
utils/patches/gnsstk_gcc13.patch Normal file
View File

@@ -0,0 +1,12 @@
SPDX-License-Identifier: GPL-3.0-or-later
SPDX-FileCopyrightText: 2022 Carles Fernandez-Prades <carles.fernandez@cttc.es>
--- ObsID.hpp 2023-01-23 16:53:25.000000000 +0100
+++ ObsID.hpp 2023-01-23 16:55:14.000000000 +0100
@@ -47,6 +47,7 @@
#ifndef OBSID_HPP
#define OBSID_HPP
+#include <cstdint>
#include <iostream>
#include <iomanip>
#include <sstream>