diff options
Diffstat (limited to 'src/ghdldrv')
| -rw-r--r-- | src/ghdldrv/ghdllocal.ads | 2 |
1 files changed, 1 insertions, 1 deletions
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. |