Re: Bug#801825: autogen: non-free file "doc/gendocs_template" (CC-BY-ND-3.0)

2015-10-15 Thread Paul Eggert
Bruce Korb wrote: This file comes from gnulib. Its copyright notice came from Texinfo and I assume that was from its original contributor. Ludovic, do you know what's going on with the copyright notice of doc/gendocs_template?

Re: copy-file: Add missing free

2015-10-15 Thread Pádraig Brady
On 15/10/15 16:16, Simon Reinhardt wrote: > Dear list, > > q?copy_file_preserving is leaking a block, each time it is called with a > bogus filename: > > #include > #include > > int > main (void) > { > qcopy_file_preserving ("/tmp/some_non_existent_file", "/tmp/vlevle"); > } > > will produc

Re: Bug#801825: autogen: non-free file "doc/gendocs_template" (CC-BY-ND-3.0)

2015-10-15 Thread Bruce Korb
On 10/14/15 16:15, Dmitry Smirnov wrote: Package: autogen Version: 1:5.18.6-3 Severity: important File "doc/gendocs_template" contains the following at line 82: This page is licensed under a http://creativecommons.org/licenses/by-nd/3.0/us/";>Creative Commons Attribution-NoDerivs 3.0

copy-file: Add missing free

2015-10-15 Thread Simon Reinhardt
Dear list, q?copy_file_preserving is leaking a block, each time it is called with a bogus filename: #include #include int main (void) { qcopy_file_preserving ("/tmp/some_non_existent_file", "/tmp/vlevle"); } will produce in valgrind: ==5703== 32,768 bytes in 1 blocks are definitely lost in

Re: [PATCH] Chop final '/' in output directory (RHBZ#1146753)

2015-10-15 Thread Pino Toscano
On Thursday 15 October 2015 15:26:55 Pádraig Brady wrote: > On 15/10/15 14:39, Pino Toscano wrote: > > If the specified output directory ends with a slash, chop it then; > > leaving it in will create problems later, like creating the temporary > > directory inside the output directory (and not asid

Re: [PATCH] Chop final '/' in output directory (RHBZ#1146753)

2015-10-15 Thread Pádraig Brady
On 15/10/15 14:39, Pino Toscano wrote: > If the specified output directory ends with a slash, chop it then; > leaving it in will create problems later, like creating the temporary > directory inside the output directory (and not aside it), and trying to > rename it to the directory containing it (w

[PATCH] Chop final '/' in output directory (RHBZ#1146753)

2015-10-15 Thread Pino Toscano
If the specified output directory ends with a slash, chop it then; leaving it in will create problems later, like creating the temporary directory inside the output directory (and not aside it), and trying to rename it to the directory containing it (which will fail indeed). --- src/supermin.ml |