Use sudo to get rid of the corefiles

This commit is contained in:
Adam Urbańczyk
2019-01-12 20:09:52 +01:00
committed by GitHub
parent 4a2ba1f079
commit 59d714befa

View File

@ -57,7 +57,7 @@ install:
before_script:
- ulimit -c unlimited -S
- rm -f /cores/core.*
- sudo rm -f /cores/core.*
script:
- coverage run runtests.py