Hi,
On 28.02.2017 15:23, Jan Kiszka wrote:
On 2017-02-27 16:40, Henning Schild wrote:
Signed-off-by: Henning Schild <[email protected]>
diff --git a/Documentation/gcov.txt b/Documentation/gcov.txt
new file mode 100644
--- /dev/null
+++ b/Documentation/gcov.txt
@@ -0,0 +1,18 @@
+$ cd $SRC
+
+$ make CONFIG_JAILHOUSE_GCOV=y clean
+$ make CONFIG_JAILHOUSE_GCOV=y
+# make CONFIG_JAILHOUSE_GCOV=y install
$ instead of #, also below.
Doesn't "#" mean root shell prompt here? I got used to this notation
personally. Maybe it's better to keep it and add some explanation?
Valentine
I suppose, the CONFIG_JAILHOUSE_GCOV could also go to
jailhouse/config.h, no? If not, can we make that work as well? Depending
on when Andreas sends a new version of his CONFIG description patch,
that should be updated as well.
+
+$ find -iname *.gcda -exec rm -f {} +
+
+# modprobe jailhouse
+# jailhouse enable configs/this.cell
+# jailhouse ...
+# jailhouse disable
+# cp /sys/devices/jailhouse/jailhouse.bin /tmp/
+$ jailhouse-gcov-extract /tmp/jailhouse.bin
Why copying first? Can "jailhouse gcov extract" work against the local
sysfs path by default?
+
+$ lcov -o /tmp/coverage.info --capture -d .
+$ genhtml /tmp/coverage.info --output-directory /tmp/coverage/
+$ firefox /tmp/coverage/index.html
Jan
--
You received this message because you are subscribed to the Google Groups
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
