+ if (gps_file) {
+ fprintf(gps_file, "%9s %12s %12s %12s\n",
+ "time", "lat", "lon", "alt");
+ for (i = 0; i < f->gps.num; i++) {
+ fprintf(gps_file, "%12.7f %12.7f %12.7f %12.7f\n",
+ (f->gps.data[i].time - boost_start) / 100.0,
+ f->gps.data[i].lat,
+ f->gps.data[i].lon,
+ f->gps.data[i].alt);
+ }
+ }