# HG changeset patch # User Volker Grabsch # Date 1256696608 -3600 # Node ID 80db969944413b7b635e77721f6d1cbcb3d24def # Parent 7454cb5a253e168d9353589ab2b46c620db21b75 improved "make update": revert a package's version number when there were download problem with the new version diff -r 7454cb5a253e -r 80db96994441 Makefile --- a/Makefile Wed Oct 28 03:01:41 2009 +0100 +++ b/Makefile Wed Oct 28 03:23:28 2009 +0100 @@ -209,7 +209,8 @@ $(info . $(1) $(2)), $(info NEW $(1) $($(1)_VERSION) --> $(2)) $(SED) 's/^\([^ ]*_VERSION *:=\).*/\1 $(2)/' -i '$(TOP_DIR)/src/$(1).mk' - $(MAKE) -f '$(MAKEFILE)' 'update-checksum-$(1)')), + $(MAKE) -f '$(MAKEFILE)' 'update-checksum-$(1)' \ + || $(SED) 's/^\([^ ]*_VERSION *:=\).*/\1 $($(1)_VERSION)/' -i '$(TOP_DIR)/src/$(1).mk')), $(error Unable to update version number: $(1))) endef