diff options
| author | Fam Zheng <famz@redhat.com> | 2016-06-01 17:44:20 +0800 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2016-06-07 14:10:52 +0200 |
| commit | d41d4da3c5d702b505d74265900a13fae2c8d0e0 (patch) | |
| tree | 1a7726ce43789f099561aca13312fcd7fde85add /docs | |
| parent | 844864fbae66935951529408831c2f22367a57b6 (diff) | |
Makefile: Add a "FORCE" target
Signed-off-by: Fam Zheng <famz@redhat.com>
Message-Id: <1464774261-648-2-git-send-email-famz@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions