From d0c39128ab7f8aac8c51e24ba8e3b6fa55e81f44 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 17 Dec 2017 20:51:10 +0100 Subject: Tentatively fix tarball filename for travis. For #496 --- src/ghdldrv/ghdllocal.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3