diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-12-17 20:51:10 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-12-18 06:06:52 +0100 |
| commit | d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44 (patch) | |
| tree | 32335580e5d7da768f1e73428aeac4ac03eaae4f /src/ghdldrv/ghdllocal.adb | |
| parent | 7cf4da99e7cb62347b9f2ee4c3513d0446e92126 (diff) | |
| download | ghdl-d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44.tar.gz ghdl-d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44.tar.bz2 ghdl-d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44.zip | |
Tentatively fix tarball filename for travis.
For #496
Diffstat (limited to 'src/ghdldrv/ghdllocal.adb')
| -rw-r--r-- | src/ghdldrv/ghdllocal.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ghdldrv/ghdllocal.adb b/src/ghdldrv/ghdllocal.adb index cf708d288..52777ff26 100644 --- a/src/ghdldrv/ghdllocal.adb +++ b/src/ghdldrv/ghdllocal.adb @@ -212,7 +212,7 @@ package body Ghdllocal is -- Simplify path: -- /xxx/../ => / -- Do it forward as xxx/../../ must not be simplified as xxx/ - -- This is done after the previous simplication to avoid to deal + -- This is done after the previous simplification to avoid to deal -- with cases like /xxx//../ or /xxx/./../ Pos := Pathname'First; while Pos <= Last - 3 loop |