Closed eblen closed 13 years ago
why? changing make options, includes, toolchains ... should all be OK. Or not? Only the synchronization option of it shouldn't be changed. Or am I wrong?
On Tue, Jun 7, 2011 at 11:00 AM, eblen < reply@reply.github.com>wrote:
Changing the workspace configuration is either always or almost always wrong. Should we not allow users to change it?
Reply to this email directly or view it on GitHub: https://github.com/rolandschulz/PTP/issues/38
ORNL/UT Center for Molecular Biophysics cmb.ornl.gov 865-241-1537, ORNL PO BOX 2008 MS6309
Sorry, I meant only the synchronization options. I've changed the title to reflect this.
Implemented in commit 361692f9258503b47f456641a3d980221cd1e151
Changing the workspace configuration is either always or almost always wrong. Should we not allow users to change it?