diff options
author | Robin Gareus <robin@gareus.org> | 2017-10-26 22:33:11 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-10-26 22:33:46 +0200 |
commit | 1aa96dc0a112ffdec4fb62ac94625e56562b3cbe (patch) | |
tree | 104051db689a48372e6803de05fe27178d3713fe /libs/pbd/wscript | |
parent | eeb148bb6102911517180f242102d35263841bf9 (diff) |
Add a RAII SpinLock (using boost's spinlock)
Diffstat (limited to 'libs/pbd/wscript')
-rw-r--r-- | libs/pbd/wscript | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/pbd/wscript b/libs/pbd/wscript index 29d82edcb4..cf4beba9fb 100644 --- a/libs/pbd/wscript +++ b/libs/pbd/wscript @@ -70,6 +70,7 @@ libpbd_sources = [ 'semutils.cc', 'shortpath.cc', 'signals.cc', + 'spinlock.cc', 'stacktrace.cc', 'stateful_diff_command.cc', 'stateful.cc', |