diff options
Diffstat (limited to 'games/dangerdeep/files/patch-src_coastmap.h')
| -rw-r--r-- | games/dangerdeep/files/patch-src_coastmap.h | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/games/dangerdeep/files/patch-src_coastmap.h b/games/dangerdeep/files/patch-src_coastmap.h new file mode 100644 index 000000000000..b71f6a5a6517 --- /dev/null +++ b/games/dangerdeep/files/patch-src_coastmap.h @@ -0,0 +1,20 @@ +--- src/coastmap.h.orig 2020-03-29 09:04:12 UTC ++++ src/coastmap.h +@@ -151,7 +151,7 @@ class coastmap + void process_coastline(int x, int y); + void process_segment(int x, int y); + +- class worker : public thread ++ class worker : public ::thread + { + coastmap& cm; + public: +@@ -163,7 +163,7 @@ class coastmap + } + }; + +- thread::auto_ptr<worker> myworker; ++ ::thread::auto_ptr<worker> myworker; + void construction_threaded(); + + public: |