diff options
author | Alexey Kardashevskiy <aik@ozlabs.ru> | 2018-01-15 13:35:01 +1100 |
---|---|---|
committer | Michael Tokarev <mjt@tls.msk.ru> | 2018-02-10 10:12:33 +0300 |
commit | 123ac0bba97597ae79915c4691b95515b60f00e7 (patch) | |
tree | b7096431098ab9d8ea7765e324e32ecf9cfc6385 /scripts | |
parent | d0081e8f260d012d050405d1e549b445948d1451 (diff) |
configure: Allow capstone=git only if git update is not disabled
Even with --disable-git-update, ./configure tries updating the capstone
submodule instead of marking it "no"; this disables capstone submodule
if git update is disabled.
Signed-off-by: Alexey Kardashevskiy <aik@ozlabs.ru>
Signed-off-by: Michael Tokarev <mjt@tls.msk.ru>
Reviewed-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions