diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-05-30 17:27:48 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-06-06 16:30:01 +0200 |
| commit | d120116b5d6e81831332f807028a29c5e5815a6a (patch) | |
| tree | 189aa43f3b684808c14ab6c528a07c6b303bed5c /.gitmodules | |
| parent | fdb8fd8cb915647be7f7f2e2f0c530ed06ca9b01 (diff) | |
build: log submodule update from git-submodule.sh
Print exactly which submodules have been updated, by reusing the logic of
"git-submodule.sh validate" after executing "git submodule update --init'.
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions