summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--wscript8
1 files changed, 7 insertions, 1 deletions
diff --git a/wscript b/wscript
index 13b13a2ac5..4234b6dbbb 100644
--- a/wscript
+++ b/wscript
@@ -674,7 +674,7 @@ video_output_features = [
# every project to hardcode the paths to the include directories. Also,
# these headers are so broken that they spam tons of warnings by merely
# including them (compensate with -isystem and -fgnu89-inline).
- 'name': '--rpi',
+ 'name': '--not-really-rpi',
'desc': 'Raspberry Pi support',
'func': compose_checks(
check_cc(cflags="-isystem/opt/vc/include/ "+
@@ -691,6 +691,12 @@ video_output_features = [
check_statement('GL/gl.h', '(void)GL_RGB32F'), # arbitrary OpenGL 3.0 symbol
check_statement('GL/gl.h', '(void)GL_LUMINANCE16') # arbitrary OpenGL legacy-only symbol
),
+ }, {
+ # workaround for buggy compose_checks
+ 'name': 'rpi',
+ 'desc': 'RPI',
+ 'deps': ['not-really-rpi'],
+ 'func': check_true,
} , {
'name': '--gl',
'desc': 'OpenGL video outputs',