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 | |
parent | 6ae18fae5b91fe4d8fb955aa07d35122d6606977 (diff) | |
download | ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.tar.gz ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.tar.bz2 ghdl-4b09580f9b545f1b7dec71f008461520c8b10103.zip |
python: refine the result of set_option.
-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(): |