From: Ben Pfaff <blp@nicira.com>
Date: Wed, 20 Jun 2012 17:29:49 +0000 (-0700)
Subject: ovs-lib: Add time stamps to Valgrind log messages.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=287e3bc0ae88b7fe8cb09561be7cf2e0a0aa4920;p=openvswitch

ovs-lib: Add time stamps to Valgrind log messages.

Sometimes it's easier to interpret Valgrind warnings when you can
correlate them with other events.

Suggested-by: James Schmidt <jschmidt@nicira.com>
Signed-off-by: Ben Pfaff <blp@nicira.com>
---

diff --git a/utilities/ovs-lib.in b/utilities/ovs-lib.in
index 50a59509..f8e26091 100644
--- a/utilities/ovs-lib.in
+++ b/utilities/ovs-lib.in
@@ -110,7 +110,7 @@ start_daemon () {
     case $wrapper in
         valgrind)
             if (valgrind --version) > /dev/null 2>&1; then
-                set valgrind -q --leak-check=full \
+                set valgrind -q --leak-check=full --time-stamp=yes \
                     --log-file="$logdir/$daemon.valgrind.log.%p" "$@"
             else
                 log_failure_msg "valgrind not installed, running $daemon without it"