diff options
| author | Robin Gareus <robin@gareus.org> | 2019-07-28 15:02:04 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2019-07-28 15:02:04 +0200 |
| commit | 63fee3b0c84b164bd6be2834f8f7e8cc608c38de (patch) | |
| tree | 0956405d193a567da06638f6a501261a9844a1ca /libs/pbd/pbd/spinlock.h | |
| parent | d00650c2fdbee486c456143b9e2f1cb00485f4ad (diff) | |
Prevent spinlock copy construction
Diffstat (limited to 'libs/pbd/pbd/spinlock.h')
| -rw-r--r-- | libs/pbd/pbd/spinlock.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/pbd/pbd/spinlock.h b/libs/pbd/pbd/spinlock.h index 6fafeb0f78..2e543408df 100644 --- a/libs/pbd/pbd/spinlock.h +++ b/libs/pbd/pbd/spinlock.h @@ -41,6 +41,9 @@ public: bool try_lock () { return l.try_lock (); } private: boost::detail::spinlock l; + + /* prevent copy construction */ + spinlock_t (const spinlock_t&); }; /* RAII wrapper */ |