diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-28 03:18:52 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-04-28 03:23:34 +0100 |
commit | c778a69df31901be9a7726c51a7ab784aa3414d8 (patch) | |
tree | c7ebaf07fcd12b8345426247f4936f0d802e90d8 /reproduce/analysis/config | |
parent | 4a53bd5ebd43414e5f21ac8cad6017f026921f56 (diff) |
Better explanation at the end of the configuration
Until now, at the end of the configuration step, we would tell the user
this: "To change the configuration later, please re-run './project
configure', DO NOT manually edit the relevant files". However, as Boud
suggested in Bug #58243, this is against our principle to encourage users
to modify Maneage.
With this commit, that explanation has been expanded by a few sentences to
tell the users what to change and warn them in case they decide to change
the build-directory.
Diffstat (limited to 'reproduce/analysis/config')
0 files changed, 0 insertions, 0 deletions