summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--source4/wscript2
1 files changed, 1 insertions, 1 deletions
diff --git a/source4/wscript b/source4/wscript
index 13682a1699..4f8042db50 100644
--- a/source4/wscript
+++ b/source4/wscript
@@ -58,7 +58,7 @@ def configure(conf):
# enable tool to build python extensions
conf.check_tool('python')
conf.check_python_version((2,4,2))
- conf.check_python_headers()
+ conf.check_python_headers(mandatory=True)
conf.RECURSE('dynconfig')
conf.RECURSE('scripting/python')