# HG changeset patch # User Volker Grabsch # Date 1226167080 -3600 # Node ID d7e4464a369d85dfee5236f0f5807644086f1070 # Parent 9fb896207491dcaed9891c23c98128f0cc8ddb27 show status information during 'make update' diff -r 9fb896207491 -r d7e4464a369d Makefile --- a/Makefile Sat Nov 08 18:46:08 2008 +0100 +++ b/Makefile Sat Nov 08 18:58:00 2008 +0100 @@ -80,9 +80,10 @@ .PHONY: update define UPDATE - $(if $(2), \ - $(SED) 's/^\([^ ]*_VERSION *:=\).*/\1 $(2)/' -i src/$(1).mk, \ - $(error Unable to update version number: $(1))) + $(if $(2), \ + $(info $(1): $(2)) \ + $(SED) 's/^\([^ ]*_VERSION *:=\).*/\1 $(2)/' -i src/$(1).mk, \ + $(error Unable to update version number: $(1))) endef update: