Comment by jamespo 1 day ago Compiling 3 comments jamespo Reply pjmlp 1 day 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 1 day 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"