Changes between Initial Version and Version 1 of Ticket #5157, comment 8
- Timestamp:
- May 31, 2018, 5:27:04 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #5157, comment 8
initial v1 1 In the case I mentioned above, I have since found that cleaning isn't necessary if the build fails. I can just re-run 'update-workspaces.sh'with the same options as I did before (i.e. `--disable atlas` in that case) and then run `make` again.1 In the case I mentioned above, I have since found that cleaning isn't necessary if the build fails. I can just re-run `update-workspaces.sh` with the same options as I did before (i.e. `--disable atlas` in that case) and then run `make` again.