Hello! I have a question concerning what is safe to delete after make. After make I was informed with this message. It is safe to delete any log files and build directories, but they contain information that is helpful for debugging build problems. WARNING: If you now run 'make' again, the build directory of the same version of the package will, by default, be deleted. Set the environment variable SAGE_KEEP_BUILT_SPKGS=yes to prevent this. What is safe to delete? And what are the paths to them? I started to remove the <SAGE_ROOT>/logs/pkgs log files... then I wasn't sure if that was the correct directory... Cheers!
-- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/b7476a6b-342f-48f9-aeae-15aef092d74en%40googlegroups.com.
