git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ab1c09b
)
+--ignore checkpoint.exp
author
jkratoch
<>
Thu, 11 Jun 2009 18:36:26 +0000
(18:36 +0000)
committer
jkratoch
<>
Thu, 11 Jun 2009 18:36:26 +0000
(18:36 +0000)
bin/runtest
patch
|
blob
|
history
diff --git
a/bin/runtest
b/bin/runtest
index
b8b10bc
..
c19caa6
100755
(executable)
--- 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 "$@"