Changes between Initial Version and Version 1 of Ticket #2405, comment 3
- Timestamp:
- 2020-04-03T17:58:00+02:00 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #2405, comment 3
initial v1 1 1 Action decided at 19th March St meeting to answer this ticket and prepare ground for other bug in tools for version 4 (#2413 for example): 2 2 3 - maketools have to be moved from utils/build to utils/tools/ and the externals definition in tools _r4.0_HEADremoved.3 - maketools have to be moved from utils/build to utils/tools/ and the externals definition in tools removed. 4 4 5 5 - creation of tools_r4.0-HEAD (copy of tools@12273 as specified in the externals for version 4), add the maketools file @12273 in tools_r4.0-HEAD and remove the externals definition in tools_r4.0-HEAD.