aboutsummaryrefslogtreecommitdiffhomepage
path: root/wscript
diff options
context:
space:
mode:
authorGravatar Ilya Tumaykin <itumaykin@gmail.com>2017-09-17 21:54:37 +0300
committerGravatar Ilya Tumaykin <itumaykin@gmail.com>2017-09-17 21:54:37 +0300
commit8810c1fc050347e1bef0d3eb89edd30c8e840648 (patch)
tree8fa683498625e498429190b304a6e8c0cd47b552 /wscript
parent2f41b834b35e951c7b9e0df10dbbe73a44e65646 (diff)
build: remove duplicate android option after 72a8120da
The first one (line 140) comes from 69650851f8 and is the correct one. The second one (line 731) comes from 72a8120daa and slipped in with the revert commit. Remove the second one.
Diffstat (limited to 'wscript')
-rw-r--r--wscript4
1 files changed, 0 insertions, 4 deletions
diff --git a/wscript b/wscript
index 9d885884d7..9fe5b0bc8a 100644
--- a/wscript
+++ b/wscript
@@ -728,10 +728,6 @@ video_output_features = [
'deps': [ 'win32-desktop' ],
'func': check_cc(header_name='d3d9.h'),
}, {
- 'name': '--android',
- 'desc': 'Android support',
- 'func': check_statement('android/api-level.h', '(void)__ANDROID__'), # arbitrary android-specific header
- }, {
# We need MMAL/bcm_host/dispmanx APIs. Also, most RPI distros require
# every project to hardcode the paths to the include directories. Also,
# these headers are so broken that they spam tons of warnings by merely