diff options
| author | Mark Wielaard <[email protected]> | 2018-02-16 20:34:25 +0100 |
|---|---|---|
| committer | Mark Wielaard <[email protected]> | 2018-02-16 20:36:42 +0100 |
| commit | 61e33d72788c58467668b2f2ad44d5b95ebbee80 (patch) | |
| tree | 27504e7548bb9b76a6ee795d52fa7141f70fd92c /tests/backtrace-subr.sh | |
| parent | 4482d0009a99b1773f2426479b666b08f57af9d5 (diff) | |
tests: Accept any core if no core with the "correct" pid can be found.
In some containers our view of pids is confused. We see the container
pid namespace, but the core is generated using the host pid namespace.
Since tests are run in a new fresh directory any core here is most like
is ours.
Signed-off-by: Mark Wielaard <[email protected]>
Diffstat (limited to 'tests/backtrace-subr.sh')
| -rw-r--r-- | tests/backtrace-subr.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/backtrace-subr.sh b/tests/backtrace-subr.sh index e04a7ea6..ff42c6ff 100644 --- a/tests/backtrace-subr.sh +++ b/tests/backtrace-subr.sh @@ -174,6 +174,13 @@ check_native_core() fi fi if [ ! -f "$core" ]; then + # In some containers our view of pids is confused. Since tests are + # run in a new fresh directory any core here is most like is ours. + if ls core.[0-9]* 1> /dev/null 2>&1; then + mv core.[0-9]* "$core" + fi + fi + if [ ! -f "$core" ]; then echo "No $core file generated"; exit 77; fi |