diff options
Diffstat (limited to 'libs/ardour/wscript')
| -rw-r--r-- | libs/ardour/wscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libs/ardour/wscript b/libs/ardour/wscript index 54fe07199f..e49c1b1284 100644 --- a/libs/ardour/wscript +++ b/libs/ardour/wscript @@ -258,6 +258,8 @@ def configure(conf): # Boost headers autowaf.check_header(conf, 'boost/shared_ptr.hpp') autowaf.check_header(conf, 'boost/weak_ptr.hpp') + autowaf.check_header(conf, 'boost/scoped_ptr.hpp') + autowaf.check_header(conf, 'boost/ptr_container/ptr_list.hpp') def build(bld): |