diff options
| -rw-r--r-- | regress/lib.sh | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/regress/lib.sh b/regress/lib.sh index 561f9bf..330d18d 100644 --- a/regress/lib.sh +++ b/regress/lib.sh @@ -186,12 +186,7 @@ check() { return 1 fi - # remember: we're running under ``set -e'' - if ps $pid >/dev/null; then - return 0 - fi - - return 1 + ps $pid >/dev/null } count() { |