diff options
| -rw-r--r-- | source3/wscript | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source3/wscript b/source3/wscript index 80fda81f77..65e401b1ee 100644 --- a/source3/wscript +++ b/source3/wscript @@ -37,6 +37,8 @@ def configure(conf): conf.sub_config('../lib/socket_wrapper') conf.sub_config('../lib/uid_wrapper') + conf.CHECK_HEADERS('execinfo.h libexc.h libunwind.h') + # Look for CUPS conf.find_program('cups-config', var='CUPS_CONFIG') if conf.env.CUPS_CONFIG: |