From 5001b1dd731071c2adabe35858e5cb1f0e6231f7 Mon Sep 17 00:00:00 2001
From: johnp <johnp@git.zephyr-software.com>
Date: Tue, 3 Apr 2012 04:07:13 +0000
Subject: [PATCH] Fix a typo in extra timeout in do_concolic - OK johnp@

Former-commit-id: 27593a5ad878fb252092e6a5579a6a5c6003eba8
---
 tools/do_concolic.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/do_concolic.sh b/tools/do_concolic.sh
index 4820e7953..0535e86a9 100755
--- a/tools/do_concolic.sh
+++ b/tools/do_concolic.sh
@@ -39,6 +39,7 @@ fi
 
 
 echo STRATA_GRACE=1 $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
-     STRATA_GRACE=1 pgrp_timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
+     STRATA_GRACE=1 $GRACE_HOME/concolic/bin/pgrp-timeout $GRACE_TIMEOUT_VALUE $GRACE_HOME/concolic/src/util/linux/run $extra_args  -s $sym $strata_exe
+
 
 
-- 
GitLab