diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2020-10-03 08:18:34 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2020-10-03 08:18:34 +0200 |
| commit | ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd (patch) | |
| tree | add4bcf47163a694f7ba25208e34017270f8280c /src | |
| parent | 043918edf5473a3e60beeb45067839548bb10bae (diff) | |
| download | glutte-o-matic-ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd.tar.gz glutte-o-matic-ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd.tar.bz2 glutte-o-matic-ac8bdbcd30cd4013066a0bd490f1ec13d32ef9fd.zip | |
Fix simulator compilation
Diffstat (limited to 'src')
| -rw-r--r-- | src/simulator/src/Core/main.c | 36 |
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) { |