diff options
| -rw-r--r-- | source3/wscript | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/source3/wscript b/source3/wscript index e6f44f463d..ef682c5e11 100644 --- a/source3/wscript +++ b/source3/wscript @@ -152,6 +152,15 @@ main() { headers='sys/types.h rpc/rpc.h', msg="Checking for uint32 typedef included by rpc/rpc.h") + # Check if the compiler will optimize out functions + conf.CHECK_CODE(''' +if (0) { + this_function_does_not_exist(); +} else { + return 1; +}''', 'HAVE_COMPILER_WILL_OPTIMIZE_OUT_FNS', + msg="Checking if the compiler will optimize out functions") + # Look for CUPS conf.find_program('cups-config', var='CUPS_CONFIG') if conf.env.CUPS_CONFIG: |