diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-19 20:38:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-19 20:38:37 +0100 |
| commit | 3925e6a5431424f422273f3522016a9d6a51a876 (patch) | |
| tree | e85f2fcd3ce8ea312d925a19c8131df0bd95272b /platform/windows | |
| parent | 5efbb08a7a8cc7bcec05645088d3e2f5e87216aa (diff) | |
| parent | 78dba05fc02c7258b5f9f5a53cf4ea8a3c6ba856 (diff) | |
Merge pull request #16696 from BTaskaya/master
PEP3101 applied with changing old type string formatting as new ones
Diffstat (limited to 'platform/windows')
| -rw-r--r-- | platform/windows/SCsub | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/platform/windows/SCsub b/platform/windows/SCsub index 8965b80fb7..ed3827353d 100644 --- a/platform/windows/SCsub +++ b/platform/windows/SCsub @@ -9,9 +9,9 @@ def make_debug_mingw(target, source, env): mingw_prefix = env["mingw_prefix_32"] else: mingw_prefix = env["mingw_prefix_64"] - os.system(mingw_prefix + 'objcopy --only-keep-debug %s %s.debugsymbols' % (target[0], target[0])) - os.system(mingw_prefix + 'strip --strip-debug --strip-unneeded %s' % (target[0])) - os.system(mingw_prefix + 'objcopy --add-gnu-debuglink=%s.debugsymbols %s' % (target[0], target[0])) + os.system(mingw_prefix + 'objcopy --only-keep-debug {0} {0}.debugsymbols'.format(target[0])) + os.system(mingw_prefix + 'strip --strip-debug --strip-unneeded {0}'.format(target[0])) + os.system(mingw_prefix + 'objcopy --add-gnu-debuglink={0}.debugsymbols {0}'.format(target[0])) common_win = [ "context_gl_win.cpp", |