diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-04-07 06:46:01 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-04-07 06:46:01 +0200 |
| commit | 63ce15f4aa9323b92348e53a285037a9c9f742bf (patch) | |
| tree | 51f8b12af9b46addee87b3a3eb486b9e7bce667f | |
| parent | a3ebbb09a4212dee24beb7a437d89610e4c170b7 (diff) | |
| download | ghdl-63ce15f4aa9323b92348e53a285037a9c9f742bf.tar.gz ghdl-63ce15f4aa9323b92348e53a285037a9c9f742bf.tar.bz2 ghdl-63ce15f4aa9323b92348e53a285037a9c9f742bf.zip | |
ghdlsynth: avoid a bug-box in case of analysis error in plugin.
| -rw-r--r-- | src/ghdldrv/ghdlsynth.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdlsynth.adb b/src/ghdldrv/ghdlsynth.adb index 3aeeed1a5..1015d7b22 100644 --- a/src/ghdldrv/ghdlsynth.adb +++ b/src/ghdldrv/ghdlsynth.adb @@ -394,7 +394,8 @@ package body Ghdlsynth is return Res; exception - when Option_Error => + when Option_Error + | Errorout.Compilation_Error => return No_Module; when E: others => -- Avoid possible issues with exceptions... |