2019-04-18 15:49:41 +02:00
|
|
|
# needs-profiler-support
|
|
|
|
|
2022-08-23 00:00:00 +00:00
|
|
|
include ../tools.mk
|
2017-02-13 09:57:50 +00:00
|
|
|
|
|
|
|
all:
|
|
|
|
$(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)
|
2020-05-26 13:41:40 -04:00
|
|
|
$(RUSTC) -g -Z profile -Z profile-emit=$(TMPDIR)/abc/abc.gcda test.rs
|
|
|
|
$(call RUN,test) || exit 1
|
|
|
|
[ -e "$(TMPDIR)/abc/abc.gcda" ] || (echo "gcda file not emitted to defined path"; exit 1)
|