On 28.02.2017 16:46, Jan Kiszka wrote:
On 2017-02-28 12:39, Henning Schild wrote:
Am Tue, 28 Feb 2017 16:05:41 +0500
schrieb Valentine Sinitsyn <[email protected]>:
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?
Exactly that is what i meant, but this last patch is basically still a
big todo.
sudo ... is self-explaining, that other notation not.
That's an external tool which could be absent on a user system, in
theory. Yet I agree this is unlikely a reason for the personal preference.
Valentine
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.
