Merge lp:~widelands-dev/widelands/bug-1825811-ubuntu-eoan into lp:widelands

[Toni Förster]

Please ubuntu 19.10.

[GunChleoc (gunchleoc)]

I have created a temporary PPA for testing this https://code.launchpad.net/~gunchleoc/+recipe/widelands-test-eoan

[GunChleoc (gunchleoc)]

PPA went green :)

@bunnybot merge

[bunnybot (widelandsofficial)]

Continuous integration builds have changed state:

Travis build 4757. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/522995144.
Appveyor build 4541. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1825811_ubuntu_eoan-4541.

=== modified file 'CMakeLists.txt'
--- CMakeLists.txt	2018-12-13 21:27:09 +0000
+++ CMakeLists.txt	2019-04-22 10:14:58 +0000
@@ -26,7 +26,8 @@
     distro_name (DISTRO_NAME)
     # DISTRO_NAME is different on the build-servers.
     if ((DISTRO_NAME MATCHES "Ubuntu 18.10" OR DISTRO_NAME MATCHES "Cosmic"
-         OR DISTRO_NAME MATCHES "Ubuntu 19.04" OR DISTRO_NAME MATCHES "Disco")
+         OR DISTRO_NAME MATCHES "Ubuntu 19.04" OR DISTRO_NAME MATCHES "Disco"
+         OR DISTRO_NAME MATCHES "Ubuntu 19.10" OR DISTRO_NAME MATCHES "Eoan")
         AND CMAKE_CXX_COMPILER_ID STREQUAL "GNU")
       cmake_policy(SET CMP0072 OLD)
     endif()