summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--common.mk3
1 files changed, 2 insertions, 1 deletions
diff --git a/common.mk b/common.mk
index 10d68d8..fe6c5cf 100644
--- a/common.mk
+++ b/common.mk
@@ -737,7 +737,8 @@ clean-spec: PHONY
check: main test test-tool test-all test-spec
$(ECHO) check succeeded
- -$(Q) if [ x"$(GIT)" != x ] && $(CHDIR) "$(srcdir)" && \
+ -$(Q) : : "run only on sh"; \
+ if [ x"$(GIT)" != x ] && $(CHDIR) "$(srcdir)" && \
b=`$(GIT) symbolic-ref --short HEAD 2>&1` && \
u=`$(GIT) branch --list --format='%(upstream:short)' $$b`; then \
set -x; $(GIT) --no-pager log --format=oneline -G "^ *# *include" $$u..HEAD --; \