From cbcaf392226786aee517d5fe4af3e77fddc23d80 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Tue, 9 Jul 2019 19:49:51 +0200
Subject: libghdl: automatically set the prefix from shared library

---
 src/ghdldrv/ghdllocal.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ghdldrv')

diff --git a/src/ghdldrv/ghdllocal.ads b/src/ghdldrv/ghdllocal.ads
index a5c6fb7ef..c59cf25a1 100644
--- a/src/ghdldrv/ghdllocal.ads
+++ b/src/ghdldrv/ghdllocal.ads
@@ -48,7 +48,7 @@ package Ghdllocal is
    --  getenv ("GHDL_PREFIX").  Set by Setup_Libraries.
    Prefix_Env : String_Access := null;
 
-   --  Installation prefix (deduced from executable path).
+   --  Installation prefix (deduced from executable path and without bin/).
    Exec_Prefix : String_Access;
 
    --  Path prefix for libraries.
-- 
cgit v1.2.3