diff top/maint.mk @ 17162:f54c37d872ca

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.
author Theophile Ranquet <ranquet@lrde.epita.fr>
date Tue, 20 Nov 2012 10:38:45 +0000
parents 78950b779f13
children 34b7c5b6a266
line wrap: on
line diff
--- a/top/maint.mk	Tue Nov 20 13:47:22 2012 -0800
+++ b/top/maint.mk	Tue Nov 20 10:38:45 2012 +0000
@@ -1390,8 +1390,9 @@
 public-submodule-commit:
 	$(AM_V_GEN)if test -d $(srcdir)/.git; then			\
 	  cd $(srcdir) &&						\
-	  git submodule --quiet foreach test '$$(git rev-parse $$sha1)'	\
-	      = '$$(git merge-base origin $$sha1)'			\
+	  git submodule --quiet foreach					\
+	      test '"$$(git rev-parse "$$sha1")"'			\
+	      = '"$$(git merge-base origin "$$sha1")"'			\
 	    || { echo '$(ME): found non-public submodule commit' >&2;	\
 		 exit 1; };						\
 	else								\