mochi-mac.patch

diff --git a/Makefile b/Makefile
index 805ad11..ca019d0 100644
--- a/Makefile
+++ b/Makefile
@@ -39,13 +39,13 @@ revision.ml: $(FPAT_LIB) Makefile Makefile.config
 	@echo make revision.ml
 	@rm -f $@
 ifdef GIT
-	@echo -n 'let mochi = Some ("' >> $@
-	@if [ $$(${GIT} diff | wc -w) != 0 ]; then echo -n _ >> $@; fi
-	@echo -n `$(GIT) rev-parse --short HEAD` >> $@
-	@echo -n '", "' >> $@
-	@if [ $$(${GIT} diff | wc -w) != 0 ]; then echo -n "after " >> $@; fi
+	@/bin/echo -n 'let mochi = Some ("' >> $@
+	@if [ $$(${GIT} diff | wc -w) != 0 ]; then /bin/echo -n _ >> $@; fi
+	@/bin/echo -n `$(GIT) rev-parse --short HEAD` >> $@
+	@/bin/echo -n '", "' >> $@
+	@if [ $$(${GIT} diff | wc -w) != 0 ]; then /bin/echo -n "after " >> $@; fi
 	@$(GIT) log --date=iso --pretty=format:"%ad" -1 >> $@
-	@echo '")' >> $@
+	@/bin/echo '")' >> $@
 else
 	@echo "let mochi = None" >> $@
 endif