]> Savannah Git Hosting - gnulib.git/commitdiff
generator: fix missing path separator
authorDmitry Selyutin <ghostmansd@gmail.com>
Mon, 2 Jul 2018 17:19:42 +0000 (20:19 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Mon, 2 Jul 2018 17:19:42 +0000 (20:19 +0300)
pygnulib/generator.py

index 3cbb13a6dccc4d9ecb7da3a3b82fb8dc945de0e9..cf46bdf607f98ac10d9c2f082f9c55b204f74f84 100644 (file)
@@ -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."