Removing core dump check (#11621)

It appears that the arm build failing with a core dump is a false positive.  Testing the latest arm build from master on a raspberry pi 2, it does not core dump.
This commit is contained in:
John Kleinschmidt
2018-01-13 23:02:10 -05:00
committed by shelley vohr
parent 74769da9a7
commit a6d3dee321

View File

@@ -91,10 +91,6 @@ jobs:
echo "Versions do not match"
exit 1
fi
if grep -q "core dumped" version.txt; then
echo "Core dump detected"
exit 1
fi
else
echo "Skipping test for release build"
fi
@@ -188,10 +184,6 @@ jobs:
echo "Versions do not match"
exit 1
fi
if grep -q "core dumped" version.txt; then
echo "Core dump detected"
exit 1
fi
else
echo "Skipping test for release build"
fi