diff options
Diffstat (limited to 'source4/wscript')
| -rw-r--r-- | source4/wscript | 2 |
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') |