summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDmitry Selyutin <ghostmansd@gmail.com>2018-07-02 20:19:42 +0300
committerDmitry Selyutin <ghostmansd@gmail.com>2018-07-02 20:19:42 +0300
commit69437cd888ead1a40c7fecb298374b1ca337c42e (patch)
treed8981cf684493fb44edd533546b82119435e58ff
parent21a570555dbd44d61c3c9a39ce2fa5a8c541d560 (diff)
downloadgnulib-69437cd888ead1a40c7fecb298374b1ca337c42e.tar.gz
generator: fix missing path separator
-rw-r--r--pygnulib/generator.py2
1 files changed, 2 insertions, 0 deletions
diff --git a/pygnulib/generator.py b/pygnulib/generator.py
index 3cbb13a6dc..cf46bdf607 100644
--- a/pygnulib/generator.py
+++ b/pygnulib/generator.py
@@ -685,6 +685,7 @@ def lib_makefile(path, config, explicit, database, mkedits, testing, autoconf, *
for line in lines:
src = "$(top_srcdir)/build-aux/"
dst = _os.path.join("$(top_srcdir)", config.auxdir)
+ dst += _os.path.sep
yield line.replace(src, dst)
yield ""
yield "mostlyclean-local: mostlyclean-generic"
@@ -874,6 +875,7 @@ def tests_makefile(path, config, explicit, modules, mkedits, testing, libtests):
for line in lines:
src = "$(top_srcdir)/build-aux/"
dst = _os.path.join("$(top_srcdir)", config.auxdir)
+ dst += _os.path.sep
yield line.replace(src, dst)
yield ""
yield "# Clean up after Solaris cc."