upvote
Depends how compiling actually happens in practice, what executables and scripts are called.
reply
"I have no idea how that rm -rf $HOME ended up in the Makefile"
reply
deleted
reply