diff options
Diffstat (limited to 'tools/c-index-test')
| -rw-r--r-- | tools/c-index-test/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/c-index-test/Makefile b/tools/c-index-test/Makefile index c21b3279a2..471ce912d0 100644 --- a/tools/c-index-test/Makefile +++ b/tools/c-index-test/Makefile @@ -10,6 +10,10 @@ CLANG_LEVEL := ../.. TOOLNAME = c-index-test +# If a separate install prefix was specified for internal tools, use it +# when installing c-index-test. +INTERNAL_TOOL = 1 + # No plugins, optimize startup time. TOOL_NO_EXPORTS = 1 |