Here's a traceback: https://gist.github.com/lorenzhs/da710afe4023051c519527737930ca99 - Version is 16.0.3 (compilers_and_libraries_2016.3.210) and I'm running Debian unstable. I can provide two coredumps if you wish. It happened when I killed the make process (Ctrl+C), which had spawned some background compile jobs (yuck). If it's of no help to you, do ignore it ;)
↧