diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-06-24 22:07:30 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-06-25 18:12:07 +0200 |
commit | cd012609781465b65bbe3b1ef8e1fe4fa9c8398d (patch) | |
tree | 3ad4716784b36ec3a990524bc0a530440c8a3d76 /src/libraries.adb | |
parent | 2cc51506353d819639dcfce2d4e9bb9407a67a6d (diff) | |
download | ghdl-cd012609781465b65bbe3b1ef8e1fe4fa9c8398d.tar.gz ghdl-cd012609781465b65bbe3b1ef8e1fe4fa9c8398d.tar.bz2 ghdl-cd012609781465b65bbe3b1ef8e1fe4fa9c8398d.zip |
Error_Msg_Option: do not raise exception.
Diffstat (limited to 'src/libraries.adb')
-rw-r--r-- | src/libraries.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index 30128749d..715538c90 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -21,6 +21,7 @@ with GNAT.OS_Lib; with Logging; use Logging; with Tables; with Errorout; use Errorout; +with Options; use Options; with Vhdl.Errors; use Vhdl.Errors; with Vhdl.Scanner; with Vhdl.Utils; use Vhdl.Utils; @@ -671,6 +672,7 @@ package body Libraries is and then not Flags.Bootstrap then Error_Msg_Option ("cannot find ""std"" library"); + raise Option_Error; end if; if Build_Standard then @@ -693,7 +695,7 @@ package body Libraries is if Work_Library_Name = Name_Std then if not Flags.Bootstrap then Error_Msg_Option ("the WORK library cannot be STD"); - return; + raise Option_Error; end if; Work_Library := Std_Library; else |