Fail during build if we can't determine the current Git revision
This commit is contained in:
parent
51412cb5fa
commit
61156ea714
1 changed files with 1 additions and 1 deletions
|
|
@ -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)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue