ghdllocal.adb: do not set Exec_Prefix if already set (by libghdl)

ghdl · Jul 5, 2021 · 0e0080c · 0e0080c
1 parent 40402c3
commit 0e0080c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git 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.