diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2017-09-28 09:01:23 -0700 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2017-10-26 11:56:20 +0200 |
| commit | e219c499e9f5d4fa0e25dc07682f75531ee84d86 (patch) | |
| tree | 27b6c4a77e0cd48264f79ed40749fcd78434d5fa /.gitmodules | |
| parent | b8d8720892f7912e8a2621b30ebac0e9a48e89e3 (diff) | |
disas: Add capstone as submodule
Do not require the submodule, but use it if present. Allow the
command-line to override system or git submodule either way.
Tested-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 7c981a42b6..1500579638 100644 --- a/.gitmodules +++ b/.gitmodules @@ -37,3 +37,6 @@ [submodule "ui/keycodemapdb"] path = ui/keycodemapdb url = git://git.qemu.org/keycodemapdb.git +[submodule "capstone"] + path = capstone + url = git://git.qemu.org/capstone.git |