diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-07-05 07:43:29 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-07-05 07:44:25 +0200 |
| commit | 0e0080c816f1c785e3f8a5a481199e0d84bfea52 (patch) | |
| tree | 1f59847a4969a491eab4fea092b5bb6c0e0d57eb | |
| parent | 40402c32ff8a209641d2212702f3e7e33ba23e51 (diff) | |
| download | ghdl-0e0080c816f1c785e3f8a5a481199e0d84bfea52.tar.gz ghdl-0e0080c816f1c785e3f8a5a481199e0d84bfea52.tar.bz2 ghdl-0e0080c816f1c785e3f8a5a481199e0d84bfea52.zip | |
ghdllocal.adb: do not set Exec_Prefix if already set (by libghdl)
| -rw-r--r-- | src/ghdldrv/ghdllocal.adb | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb index 92a7e1c7e..5ed6d3431 100644 --- a/src/ghdldrv/ghdllocal.adb +++ b/src/ghdldrv/ghdllocal.adb @@ -413,7 +413,10 @@ package body Ghdllocal is end if; -- Compute Exec_Prefix. - Set_Exec_Prefix_From_Program_Name; + if Exec_Prefix = null then + -- Only if not already set. + Set_Exec_Prefix_From_Program_Name; + end if; -- Set prefix path. -- If not set by command line, try environment variable. |