diff options
Diffstat (limited to 'top/maint.mk')
-rw-r--r-- | top/maint.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/top/maint.mk b/top/maint.mk index 7420af5fdb..cae2dda039 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -1395,8 +1395,8 @@ public-submodule-commit: && git --version >/dev/null 2>&1; then \ cd $(srcdir) && \ git submodule --quiet foreach \ - test '"$$(git rev-parse "$$sha1")"' \ - = '"$$(git merge-base origin "$$sha1")"' \ + 'test "$$(git rev-parse "$$sha1")" \ + = "$$(git merge-base origin "$$sha1")"' \ || { echo '$(ME): found non-public submodule commit' >&2; \ exit 1; }; \ else \ |