From 31df811834b4ab3b626578f603f37474ca1870be Mon Sep 17 00:00:00 2001
From: bdr7fv <bdr7fv@git.zephyr-software.com>
Date: Fri, 25 May 2012 19:43:36 +0000
Subject: [PATCH] Turned off the watchdog for the spec PN tests.

Former-commit-id: 7eb87ad7fb819f26996a2384615674ccd8ad1b26
---
 tests/spec/Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tests/spec/Makefile b/tests/spec/Makefile
index dfc335c98..ea31c0a7b 100644
--- a/tests/spec/Makefile
+++ b/tests/spec/Makefile
@@ -3,6 +3,7 @@ progs=bzip_black.peasoup mcf_black.peasoup libquantum_black.peasoup sjeng_black.
 ps_analyze_flags=" --step ilr=off\
                --step stratafy_with_pc_confine=on\
                --step create_binary_script=on\
+	       --step watchdog=off\
                --step heaprand=off\
                --step concolic=off\
                --step double_free=off\
-- 
GitLab