diff options
Diffstat (limited to 'configure.json')
-rw-r--r-- | configure.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.json b/configure.json index 164571b297..87fd5d7190 100644 --- a/configure.json +++ b/configure.json @@ -104,6 +104,7 @@ "mysql_config": "string", "nomake": { "type": "addString", "values": [ "examples", "tests", "tools" ] }, "opengl": { "type": "optionalString", "values": [ "no", "yes", "desktop", "es2" ] }, + "opengles3": "boolean", "opensource": { "type": "void", "name": "commercial", "value": "no" }, "openssl": "boolean", "openssl-linked": { "type": "void", "name": "openssl", "value": "linked" }, |