Skip to content

Commit 212d781

Browse files
committed
Merge branch 'jk/fix-profile-feedback-build'
Fix profile-feedback build broken in 2.1 for tarball releases. * jk/fix-profile-feedback-build: Makefile: make perf tests optional for profile build
2 parents c285171 + 93b5393 commit 212d781

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

Makefile

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1659,7 +1659,11 @@ endif
16591659
profile:: profile-clean
16601660
$(MAKE) PROFILE=GEN all
16611661
$(MAKE) PROFILE=GEN -j1 test
1662-
$(MAKE) PROFILE=GEN -j1 perf
1662+
@if test -n "$$GIT_PERF_REPO" || test -d .git; then \
1663+
$(MAKE) PROFILE=GEN -j1 perf; \
1664+
else \
1665+
echo "Skipping profile of perf tests..."; \
1666+
fi
16631667
$(MAKE) PROFILE=USE all
16641668

16651669
profile-fast: profile-clean

0 commit comments

Comments
 (0)