← Back to context Comment by jamespo 2 days ago Compiling 3 comments jamespo Reply pjmlp 2 days ago Depends how compiling actually happens in practice, what executables and scripts are called. lmz 1 day ago "I have no idea how that rm -rf $HOME ended up in the Makefile"
pjmlp 2 days ago Depends how compiling actually happens in practice, what executables and scripts are called.
Depends how compiling actually happens in practice, what executables and scripts are called.
"I have no idea how that rm -rf $HOME ended up in the Makefile"