diff options
Diffstat (limited to 'rtemstoolkit/wscript')
| -rw-r--r-- | rtemstoolkit/wscript | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/rtemstoolkit/wscript b/rtemstoolkit/wscript index 4b31471..c7cea36 100644 --- a/rtemstoolkit/wscript +++ b/rtemstoolkit/wscript @@ -51,14 +51,11 @@ def configure(conf): conf.find_program('m4') - conf.check(header_name='sys/wait.h', features = 'c', mandatory = False) - conf.check_cc(function_name='kill', header_name="signal.h", + conf.check(header_name = 'sys/wait.h', features = 'c', mandatory = False) + conf.check_cc(function_name = 'kill', header_name="signal.h", features = 'c', mandatory = False) conf.write_config_header('config.h') - conf.load('python') - conf.check_python_version((2,6,6)) - def build(bld): # # The local configuration. |