diff --git a/games/eboard/files/patch-sound.cc b/games/eboard/files/patch-sound.cc new file mode 100644 index 000000000000..1e31c04047da --- /dev/null +++ b/games/eboard/files/patch-sound.cc @@ -0,0 +1,11 @@ +--- sound.cc.orig 2018-07-31 18:02:19 UTC ++++ sound.cc +@@ -38,7 +38,7 @@ + #include + #include + #include +-#include ++#include + + #include "sound.h" + #include "global.h"