Makefile: make perf tests optional for profile build

diff --git a/Makefile b/Makefile
index a760402370de322d8a1eb2c38080a37b641d55c1..fd1138032cfc80705cd2ad11508b7327cc8bfe84 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1649,7 +1649,11 @@ endif
 profile:: profile-clean
        $(MAKE) PROFILE=GEN all
        $(MAKE) PROFILE=GEN -j1 test
-       $(MAKE) PROFILE=GEN -j1 perf
+       @if test -n "$$GIT_PERF_REPO" || test -d .git; then \
+               $(MAKE) PROFILE=GEN -j1 perf; \
+       else \
+               echo "Skipping profile of perf tests..."; \
+       fi
        $(MAKE) PROFILE=USE all
 
 profile-fast: profile-clean