diff options
Diffstat (limited to 'src/ovs/Makefile')
| -rw-r--r-- | src/ovs/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/ovs/Makefile b/src/ovs/Makefile index a67057f5..384d6993 100644 --- a/src/ovs/Makefile +++ b/src/ovs/Makefile @@ -72,6 +72,8 @@ config $(WORK_DIR)/Makefile: $(WORK_DIR)/configure INSTALL_TARGET = force_install force_make force_make: $(WORK_DIR)/Makefile + $(AT)cd $(WORK_DIR) && git pull $(OVS_URL) $(OVS_TAG) + @echo "git pull done" $(AT)echo "WITH_LINUX = $(WITH_LINUX)" $(AT)$(MAKE) -C $(WORK_DIR) $(MORE_MAKE_FLAGS) @echo "Make done" @@ -84,14 +86,15 @@ install: $(INSTALL_TARGET) # hard way to clean and clobber clean: + $(AT)cd $(WORK_DIR) && git clean -xfd *.o clobber: $(AT)rm -rf $(WORK_DIR) $(AT)rm -rf $(OVS_VANILLA) $(AT)rm -rf $(OVS_CUSE) -# cleanse is for developer who would like to keep the +# distclean is for developer who would like to keep the # clone git repo, saving time to fetch again from url -cleanse: +distclean: $(AT)cd $(WORK_DIR) && git clean -xfd && git checkout -f test: |