aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFam Zheng <famz@redhat.com>2016-06-01 17:44:20 +0800
committerPaolo Bonzini <pbonzini@redhat.com>2016-06-07 14:10:52 +0200
commitd41d4da3c5d702b505d74265900a13fae2c8d0e0 (patch)
tree1a7726ce43789f099561aca13312fcd7fde85add
parent844864fbae66935951529408831c2f22367a57b6 (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>
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ae75dd29e5..59af636f97 100644
--- a/Makefile
+++ b/Makefile
@@ -82,7 +82,7 @@ Makefile: ;
configure: ;
.PHONY: all clean cscope distclean dvi html info install install-doc \
- pdf recurse-all speed test dist msi
+ pdf recurse-all speed test dist msi FORCE
$(call set-vpath, $(SRC_PATH))