diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2014-06-23 14:12:01 +0000 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2014-06-23 14:12:01 +0000 |
| commit | 45736e95be5a2e74a6caf0340344bc728c7d0f05 (patch) | |
| tree | 27f2ae176a35d2c29e32628482d258f05ce2424f /ACE/bin | |
| parent | b42359ac59e4cd2766ded89340019dc48df8a289 (diff) | |
| download | ATCD-45736e95be5a2e74a6caf0340344bc728c7d0f05.tar.gz | |
Mon Jun 23 14:14:17 UTC 2014 Johnny Willemsen <jwillemsen@remedy.nl>
* bin/make_release.py:
Update to use vc11/vc12
Diffstat (limited to 'ACE/bin')
| -rwxr-xr-x | ACE/bin/make_release.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ACE/bin/make_release.py b/ACE/bin/make_release.py index 0b07a6b7ba0..cc20b48bb4c 100755 --- a/ACE/bin/make_release.py +++ b/ACE/bin/make_release.py @@ -917,7 +917,7 @@ def generate_workspaces (stage_dir): mpc_option += ' -relative DANCE_ROOT=' + stage_dir + '/ACE_wrappers/TAO/DAnCE ' msvc_exclude_option = ' -exclude TAO/CIAO/CIAO_TAO_DAnCE_OpenDDS.mwc,TAO/CIAO/CIAO_TAO_OpenDDS.mwc,TAO/CIAO/CIAO_TAO_DAnCE_OpenDDS_shapes.mwc ' vc11_option = ' -name_modifier *_vc11 ' - vc10_option = ' -name_modifier *_vc10 ' + vc12_option = ' -name_modifier *_vc12 ' redirect_option = str () if not opts.verbose: @@ -929,8 +929,8 @@ def generate_workspaces (stage_dir): print "\tGenerating VC11 solutions..." ex (mpc_command + " -type vc11 " + msvc_exclude_option + mpc_option + workers_option + vc11_option + redirect_option) - print "\tGenerating VC10 solutions..." - ex (mpc_command + " -type vc10 " + msvc_exclude_option + mpc_option + workers_option + vc10_option + redirect_option) + print "\tGenerating VC12 solutions..." + ex (mpc_command + " -type vc12 " + msvc_exclude_option + mpc_option + workers_option + vc12_option + redirect_option) print "\tCorrecting permissions for all generated files..." ex ("find ./ -name '*.vc[p,w]' -or -name '*.bmak' -or -name '*.vcproj' -or -name '*.sln' -or -name '*.vcxproj' -or -name '*.filters' -or -name 'GNUmake*' | xargs chmod 0644") |