From cf82c14da087eb5b522598d17b4a8a95b24bb4fb Mon Sep 17 00:00:00 2001
From: jkratoch <>
Date: Thu, 11 Jun 2009 18:36:26 +0000
Subject: [PATCH] +--ignore checkpoint.exp

---
 bin/runtest | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/bin/runtest b/bin/runtest
index b8b10bc..c19caa6 100755
--- a/bin/runtest
+++ b/bin/runtest
@@ -1,4 +1,5 @@
 #! /bin/sh
-sync
-ulimit -v 500000 -c unlimited
-exec nice /usr/bin/runtest "$@"
+#sync
+ulimit -v 500000
+ulimit -c unlimited
+exec nice /usr/bin/runtest --ignore checkpoint.exp "$@"
-- 
1.8.3.1