projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86627bb) | patch
maint.mk: avoid gratuitous failure
authorTheophile Ranquet <ranquet@lrde.epita.fr>
Tue, 20 Nov 2012 10:38:45 +0000 (10:38 +0000)
committerEric Blake <eblake@redhat.com>
Wed, 21 Nov 2012 13:31:21 +0000 (06:31 -0700)
commit908b11d3f4211b4ee5cb6b5ec0749e49a85394a5
treea3733861985b10eaaae568320af771a9340b612dtree | snapshot
parent86627bb14a123f183bd094e582e4cd9f2aca489acommit | diff
maint.mk: avoid gratuitous failure

Reported by Stefano Lattarini in
<http://lists.gnu.org/archive/html/bug-bison/2012-11/msg00022.html>
* top/maint.mk (public-submodule-commit): Quote more safely.
ChangeLog diff | blob | history
top/maint.mk diff | blob | history
gnulib debian + stable branches