diff options
Diffstat (limited to 'lib/util/wscript_configure')
| -rw-r--r-- | lib/util/wscript_configure | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/util/wscript_configure b/lib/util/wscript_configure index e7a2cb64a4..8bd196f8d3 100644 --- a/lib/util/wscript_configure +++ b/lib/util/wscript_configure @@ -1,3 +1,5 @@ +#!/usr/bin/env python + # backtrace could be in libexecinfo or in libc conf.CHECK_FUNCS_IN('backtrace', 'execinfo', checklibc=True, headers='execinfo.h') |