From c90d114d36e83ee8b58fc8c3354f9a9b83459437 Mon Sep 17 00:00:00 2001
From: Brian Anderson <andersrb@gmail.com>
Date: Fri, 24 Dec 2010 16:01:42 -0500
Subject: Use git log pretty printing arguments that are compatible with older
 versions of git

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 6b77ac84..37f6aea3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -297,7 +297,7 @@ all: $(CFG_RUSTC) $(MKFILES) $(GENERATED)
 
 boot/util/version.ml: Makefile
 	$(CFG_QUIET)git log -1 \
-      --format='let version = "prerelease (%h %ci)";;' >$@ || exit 1
+      --pretty=format:'let version = "prerelease (%h %ci)";;' >$@ || exit 1
 
 loc:
 	$(CFG_QUIET)wc -l $(BOOT_MLS) $(RUNTIME_CS) $(RUNTIME_HDR)
-- 
cgit v1.2.3