# # # patch "Makefile" # from [2e7548fa4bcdaba1fb9d643f699808485cb254fb] # to [ca1a450655228198637245cd9614a85e8b0cc5fb] # ============================================================ --- Makefile 2e7548fa4bcdaba1fb9d643f699808485cb254fb +++ Makefile ca1a450655228198637245cd9614a85e8b0cc5fb @@ -105,7 +105,7 @@ REVISION_FILE := $(shell test -r _MTN/re $(EXTLIB)/unzip.% : MLFLAGS += -w y REVISION_FILE := $(shell test -r _MTN/revision && echo _MTN/revision) -REVISION_ID = $(shell mtn automate get_base_revision_id || ( test -r _MTN/revision && ( if grep format_version _MTN/revision; then grep old_revision _MTN/revision | sed -e 's/^old_revision \[//' -e 's/\] *$//'; else cat _MTN/revision; fi ))) +REVISION_ID = $(shell mtn automate get_base_revision_id || ( test -r _MTN/revision && ( if grep format_version _MTN/revision > /dev/null; then grep old_revision _MTN/revision | sed -e 's/^old_revision \[//' -e 's/\] *$//'; else cat _MTN/revision; fi ))) version.ml : version.ml.in $(REVISION_FILE) sed -e 's/@REVISION@/$(REVISION_ID)/' -e 's/@VERSION@/$(VERSION)/' < $< > $@