diff options
author | Allan Sandfeld Jensen <allan.jensen@qt.io> | 2018-03-14 16:01:59 +0100 |
---|---|---|
committer | Allan Sandfeld Jensen <allan.jensen@qt.io> | 2018-03-20 20:45:21 +0000 |
commit | 7ebe69d23c33971b96790510df94d4d3bd438c58 (patch) | |
tree | 71104298306a76f70af1df21904e47fc120eae94 /configure.json | |
parent | a65e383cac24b043b1dbe7172e0b142454e93e52 (diff) |
Expose gdb-index as configure argument
We report it in the overview, but left no way of controlling it
Change-Id: I1d31f2e31bb32566f47069c3776e41033ffb1891
Reviewed-by: hjk <hjk@qt.io>
Reviewed-by: Oswald Buddenhagen <oswald.buddenhagen@qt.io>
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 3f751203b8..003c6c5b90 100644 --- a/configure.json +++ b/configure.json @@ -78,6 +78,7 @@ "force-debug-info": { "type": "boolean", "name": "force_debug_info" }, "force-pkg-config": { "type": "void", "name": "pkg-config" }, "framework": "boolean", + "gdb-index": { "type": "boolean", "name": "gdb_index" }, "gcc-sysroot": "boolean", "gcov": "boolean", "gnumake": { "type": "boolean", "name": "GNUmake" }, |