diff options
author | Jack Lloyd <[email protected]> | 2018-07-04 13:42:52 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-07-04 13:42:52 -0400 |
commit | 74a369bd77b43849a216c688af4bc85468291973 (patch) | |
tree | 43120a723d7a97a5bef86277fbdd6a8b3d540c14 /src | |
parent | adb52909ab59635b07a68f445267cd648c98502b (diff) |
If building with VC2013, force user to ack deprecation
GH #1557
Diffstat (limited to 'src')
-rwxr-xr-x | src/scripts/ci_build.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 65f62762d..3c2cb49f5 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -59,6 +59,9 @@ def determine_flags(target, target_os, target_cpu, target_cc, cc_bin, ccache, ro '--cc=%s' % (target_cc), '--os=%s' % (target_os)] + if target_cc == 'msvc': + flags += ['--ack-vc2013-deprecated'] + if target_cpu != None: flags += ['--cpu=%s' % (target_cpu)] |