diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-01 21:53:47 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-01 22:22:50 +0100 |
commit | d180c5d8d5430f1e826ccf1ee9849a14a091b9b8 (patch) | |
tree | ba2f7442e7771579f4c2bab9dc920aba2e736869 /reproduce/analysis/make/format.mk | |
parent | ef02e044df0034e6d3f97a90e43eaa07f7fe20fb (diff) |
Better message for analysis when configuration wasn't complete
Until now, when `./project make' was run after an insuccessful run of
`./project configure', it would just say to run `./project configure'. But
for a first time user, this could be confusing because when the
configuration is done in parallel, the error message can be very high on
the command-line outputs and not seen clearly.
With this commit, the error message is more complete and describes the
problem and what the users should do in which circumstance.
Diffstat (limited to 'reproduce/analysis/make/format.mk')
0 files changed, 0 insertions, 0 deletions