diff options
| author | Robin Gareus <robin@gareus.org> | 2016-07-19 15:03:51 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2016-07-19 15:03:51 +0200 |
| commit | d13435a4e1d0e85654a8477ae99a7b41ff621159 (patch) | |
| tree | 8bf0bba8f5b700c6641d02e4b3ff65bcdfdc1431 /libs/pbd/wscript | |
| parent | f8207524e9e014a21ce75f7907c607a4abf27bfe (diff) | |
re-add TLSF
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 31f4d5947e..6f872c987f 100644 --- a/libs/pbd/wscript +++ b/libs/pbd/wscript @@ -77,6 +77,7 @@ libpbd_sources = [ 'textreceiver.cc', 'timer.cc', 'timing.cc', + 'tlsf.cc', 'transmitter.cc', 'undo.cc', 'uuid.cc', |