diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-06-26 19:09:01 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-06-26 19:09:01 +0200 |
| commit | 4b09580f9b545f1b7dec71f008461520c8b10103 (patch) | |
| tree | be6304cd404d3114ea86bbcc91568ad05e8e14fd /python/libghdl | |
| parent | 6ae18fae5b91fe4d8fb955aa07d35122d6606977 (diff) | |
| download | ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.tar.gz ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.tar.bz2 ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.zip | |
python: refine the result of set_option.
Diffstat (limited to 'python/libghdl')
| -rw-r--r-- | python/libghdl/__init__.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/python/libghdl/__init__.py b/python/libghdl/__init__.py index 2ae52a4a2..0ac38694a 100644 --- a/python/libghdl/__init__.py +++ b/python/libghdl/__init__.py @@ -73,7 +73,8 @@ def _to_char_p(arg): def set_option(opt): - return libghdl.libghdl__set_option(*_to_char_p(opt)) + "Set option OPT. Return true iff the option is known and handled" + return libghdl.libghdl__set_option(*_to_char_p(opt)) == 0 def analyze_init(): |