diff options
author | Dmitry Selyutin <ghostmansd@gmail.com> | 2018-07-02 20:19:42 +0300 |
---|---|---|
committer | Dmitry Selyutin <ghostmansd@gmail.com> | 2018-07-02 20:19:42 +0300 |
commit | 69437cd888ead1a40c7fecb298374b1ca337c42e (patch) | |
tree | d8981cf684493fb44edd533546b82119435e58ff | |
parent | 21a570555dbd44d61c3c9a39ce2fa5a8c541d560 (diff) | |
download | gnulib-69437cd888ead1a40c7fecb298374b1ca337c42e.tar.gz |
generator: fix missing path separator
-rw-r--r-- | pygnulib/generator.py | 2 |
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." |