# # # patch "Makefile" # from [ca1a450655228198637245cd9614a85e8b0cc5fb] # to [959a7ff9f2703b28fd79c4a0fbb073ed1d27f353] # ============================================================ --- Makefile ca1a450655228198637245cd9614a85e8b0cc5fb +++ Makefile 959a7ff9f2703b28fd79c4a0fbb073ed1d27f353 @@ -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 > /dev/null; 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)/' < $< > $@