diff options
| author | Andi Kleen <ak@linux.intel.com> | 2010-05-20 10:53:51 +0200 |
|---|---|---|
| committer | Andi Kleen <ak@linux.intel.com> | 2010-05-20 10:53:51 +0200 |
| commit | cc456a4fe3e0e3f64df107c025db3501c4d44fc1 (patch) | |
| tree | 9c4a19b951fe6d27ea01ab8cce671baf4aea9720 | |
| parent | bc405c55d328a170f068b50fc52930d4795923a4 (diff) | |
| download | mce-test-cc456a4fe3e0e3f64df107c025db3501c4d44fc1.tar.gz | |
random_offline: avoid extra unpoison pass on timeout
Signed-off-by: Andi Kleen <ak@linux.intel.com>
| -rwxr-xr-x | tsrc/random_offline | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tsrc/random_offline b/tsrc/random_offline index 27eef6b..c380a86 100755 --- a/tsrc/random_offline +++ b/tsrc/random_offline @@ -137,6 +137,7 @@ while true ; do ((DIFF = $(date +%s) - $start)) if [ $DIFF -gt "$RUNTIME" ] ; then echo time over + trap 0 break fi fi |