diff options
| -rw-r--r-- | src/test/run-make/profile/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/test/run-make/profile/Makefile b/src/test/run-make/profile/Makefile index 94a2a30869b..7300bfc9553 100644 --- a/src/test/run-make/profile/Makefile +++ b/src/test/run-make/profile/Makefile @@ -1,7 +1,9 @@ -include ../tools.mk all: +ifeq ($(PROFILER_SUPPORT),1) $(RUSTC) -g -Z profile test.rs $(call RUN,test) || exit 1 [ -e "$(TMPDIR)/test.gcno" ] || (echo "No .gcno file"; exit 1) [ -e "$(TMPDIR)/test.gcda" ] || (echo "No .gcda file"; exit 1) +endif |