Docker: Disable core dumps

cp2k · Mar 19, 2019 · 1027251 · 1027251
1 parent 4a65d9b
commit 1027251
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/docker/scripts/ci_entrypoint.sh b/tools/docker/scripts/ci_entrypoint.sh
@@ -7,6 +7,7 @@ set -eo pipefail
 REPORT=/workspace/report.txt
 echo -n "StartDate: " | tee -a $REPORT
 date --utc --rfc-3339=seconds | tee -a $REPORT
+ulimit -c 0  # Disable core dumps as they can take a very long time to write.
 
 # Rsync with common args.
 function rsync_changes {