diff options
author | Matteo Bernardini | 2018-08-25 08:55:10 +0200 |
---|---|---|
committer | Matteo Bernardini | 2018-08-25 08:55:10 +0200 |
commit | dce2940e5093d994c3f82f0b30c9b20597daf805 (patch) | |
tree | 65c5c0e947b76074ea527c6d1343e58b25e91701 /games/pingus/missing-header.patch | |
parent | 9e6a09981c54e2807162b0a76f4eb5708bdd9eae (diff) | |
download | slackbuilds-4ed515ac7f42d1533d50cb297bd82e9f6d3b9415.tar.gz |
20180825.1 global branch merge.current-20180825.1
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'games/pingus/missing-header.patch')
-rw-r--r-- | games/pingus/missing-header.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/games/pingus/missing-header.patch b/games/pingus/missing-header.patch new file mode 100644 index 0000000000..cc1dcdbb85 --- /dev/null +++ b/games/pingus/missing-header.patch @@ -0,0 +1,22 @@ +From df6e2f445d3e2925a94d22faeb17be9444513e92 Mon Sep 17 00:00:00 2001 +From: Jonathan Wakely <jwakely@redhat.com> +Date: Mon, 30 Jan 2017 15:41:53 +0000 +Subject: [PATCH] Add missing header for std::function and std::bind + +--- + src/pingus/screens/demo_session.cpp | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/src/pingus/screens/demo_session.cpp b/src/pingus/screens/demo_session.cpp +index e3ec49a2c..f887e50f0 100644 +--- a/src/pingus/screens/demo_session.cpp ++++ b/src/pingus/screens/demo_session.cpp +@@ -18,6 +18,7 @@ + + #include <algorithm> + #include <iostream> ++#include <functional> + + #include "engine/gui/gui_manager.hpp" + #include "engine/gui/surface_button.hpp" + |