diff options
| -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. |