From 61156ea714d18c48377ee15f1fa08a44990db2c1 Mon Sep 17 00:00:00 2001
From: Patrick Walton <pcwalton@mimiga.net>
Date: Wed, 18 Aug 2010 12:57:23 -0700
Subject: Fail during build if we can't determine the current Git revision

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

(limited to 'src/Makefile')

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