[Dune] [#958] do not write random files to the user's home directory

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#958 - do not write random files to the user's home directory
User who did this - Andreas Lauser (andlaus)

----------
I agree with Andreas ;). I do not expect a build process to write anything into my home directory, because there shouldn't be any configuration files which are unrelated to the build (if there are, the config file should be created by the user IMHO). Thus, I rather expect temporary files go to /tmp. Question: how can the build directories be non-writable? I see the point for the source directories in out-of-tree builds, but not for the build directories (at least not those of the modules where object files need to be written to). Hm, maybe the resume file should be put into the build directory of dune-common?

on the matter of printing an error: I hope that the patch takes care of this, it will output a "RESUME_FILE is undefined" message if dunecontrol is run with --resume and no resume file could be determined. I did not test this, though...
----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=958#comment2734

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.