mirror of https://github.com/ARMmbed/mbed-os.git
Rename Eclipse .launch file according to project name
Since Eclipse supports working with multiple projects in the same workspace, .launch file name should include project name for creating unique per-project .launch file.pull/4828/head
parent
7744587dc6
commit
bd660ec82e
|
@ -30,7 +30,9 @@ class Eclipse(Makefile):
|
|||
|
||||
|
||||
self.gen_file('cdt/pyocd_settings.tmpl', ctx,
|
||||
join('eclipse-extras',self.target+'_pyocd_settings.launch'))
|
||||
join('eclipse-extras',
|
||||
'{target}_pyocd_{project}_settings.launch'.format(target=self.target,
|
||||
project=self.project_name)))
|
||||
self.gen_file('cdt/necessary_software.tmpl', ctx,
|
||||
join('eclipse-extras','necessary_software.p2f'))
|
||||
|
||||
|
|
Loading…
Reference in New Issue