← Back to team overview

widelands-dev team mailing list archive

[Merge] lp:~widelands-dev/widelands/unused_autospeed into lp:widelands

 

GunChleoc has proposed merging lp:~widelands-dev/widelands/unused_autospeed into lp:widelands.

Commit message:
Get rid of warnings about ai_training and auto_speed at startup

Requested reviews:
  Widelands Developers (widelands-dev)

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/unused_autospeed/+merge/342495
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/unused_autospeed into lp:widelands.
=== modified file 'src/wlapplication.cc'
--- src/wlapplication.cc	2018-03-03 09:37:01 +0000
+++ src/wlapplication.cc	2018-04-02 05:35:29 +0000
@@ -727,6 +727,8 @@
 	// Without this the following config options get dropped by check_used().
 	// Profile needs support for a Syntax definition to solve this in a
 	// sensible way
+	s.get_bool("ai_training");
+	s.get_bool("auto_speed");
 	s.get_bool("fullscreen");
 	s.get_bool("animate_map_panning");
 	s.get_int("xres");


Follow ups