Changes between Initial Version and Version 1 of Ticket #5157, comment 8


Ignore:
Timestamp:
May 31, 2018, 5:27:04 PM (6 years ago)
Author:
Andy Alt

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.
     1In 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.