search

DOMjudge / domjudge

DOMjudge programming contest jury system
https://www.domjudge.org
GNU General Public License v2.0
712 stars 250 forks source link

Disable core dumps while building executables. #2338

Closed meisterT closed 6 months ago

meisterT commented 6 months ago

Also spell out --no-core in all other invocations to make it more clear.

meisterT commented 6 months ago

This is the first baby step of project #luigi: https://docs.google.com/document/d/1WZRwdvJUamsczYC7CpP3ZIBU8xG6wNqYqrNJf7osxYs/edit