aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias P. Braendli <matthias.braendli@mpb.li>2020-10-03 08:18:34 +0200
committerMatthias P. Braendli <matthias.braendli@mpb.li>2020-10-03 08:18:34 +0200
commitac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd (patch)
treeadd4bcf47163a694f7ba25208e34017270f8280c
parent043918edf5473a3e60beeb45067839548bb10bae (diff)
downloadglutte-o-matic-ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd.tar.gz
glutte-o-matic-ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd.tar.bz2
glutte-o-matic-ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd.zip
Fix simulator compilation
-rw-r--r--src/simulator/src/Core/main.c36
1 files changed, 18 insertions, 18 deletions
diff --git a/src/simulator/src/Core/main.c b/src/simulator/src/Core/main.c
index a73306d..4cdeabf 100644
--- a/src/simulator/src/Core/main.c
+++ b/src/simulator/src/Core/main.c
@@ -54,24 +54,24 @@ extern int gui_gps_lon_len;
extern int gui_gps_lon_hem;
extern int gui_gps_send_current_time;
-int gui_gps_custom_hour_on;
-int gui_gps_custom_min_on;
-int gui_gps_custom_sec_on;
-int gui_gps_custom_day_on;
-int gui_gps_custom_month_on;
-int gui_gps_custom_year_on;
-char gui_gps_custom_hour[4];
-int gui_gps_custom_hour_len;
-char gui_gps_custom_min[4];
-int gui_gps_custom_min_len;
-char gui_gps_custom_sec[4];
-int gui_gps_custom_sec_len;
-char gui_gps_custom_day[4];
-int gui_gps_custom_day_len;
-char gui_gps_custom_month[4];
-int gui_gps_custom_month_len;
-char gui_gps_custom_year[4];
-int gui_gps_custom_year_len;
+extern int gui_gps_custom_hour_on;
+extern int gui_gps_custom_min_on;
+extern int gui_gps_custom_sec_on;
+extern int gui_gps_custom_day_on;
+extern int gui_gps_custom_month_on;
+extern int gui_gps_custom_year_on;
+extern char gui_gps_custom_hour[4];
+extern int gui_gps_custom_hour_len;
+extern char gui_gps_custom_min[4];
+extern int gui_gps_custom_min_len;
+extern char gui_gps_custom_sec[4];
+extern int gui_gps_custom_sec_len;
+extern char gui_gps_custom_day[4];
+extern int gui_gps_custom_day_len;
+extern char gui_gps_custom_month[4];
+extern int gui_gps_custom_month_len;
+extern char gui_gps_custom_year[4];
+extern int gui_gps_custom_year_len;
static void thread_gui_gps(void __attribute__ ((unused))*arg) {