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/4889/head
parent
6904f84337
commit
6b0fa85364
|
@ -30,7 +30,9 @@ class Eclipse(Makefile):
|
||||||
|
|
||||||
|
|
||||||
self.gen_file('cdt/pyocd_settings.tmpl', ctx,
|
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,
|
self.gen_file('cdt/necessary_software.tmpl', ctx,
|
||||||
join('eclipse-extras','necessary_software.p2f'))
|
join('eclipse-extras','necessary_software.p2f'))
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue