File tree Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Expand file tree Collapse file tree 3 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 1
1
---
2
- refs/heads/master: 73fd87baf50da704b04837fe059ed4fcad0f4660
2
+ refs/heads/master: c90d114d36e83ee8b58fc8c3354f9a9b83459437
Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ all: rust.pdf rust.html
4
4
5
5
version.texi : Makefile rust.texi
6
6
git log -1 \
7
- --format = '@macro gitversion%n%h %ci%n@end macro%n' >$@
7
+ --pretty =format: '@macro gitversion%n%h %ci%n@end macro%n' >$@
8
8
9
9
% .pdf : % .texi version.texi
10
10
texi2pdf $<
Original file line number Diff line number Diff line change @@ -297,7 +297,7 @@ all: $(CFG_RUSTC) $(MKFILES) $(GENERATED)
297
297
298
298
boot/util/version.ml : Makefile
299
299
$(CFG_QUIET ) git log -1 \
300
- --format = 'let version = "prerelease (%h %ci)";;' >$@ || exit 1
300
+ --pretty =format: 'let version = "prerelease (%h %ci)";;' >$@ || exit 1
301
301
302
302
loc :
303
303
$(CFG_QUIET ) wc -l $(BOOT_MLS ) $(RUNTIME_CS ) $(RUNTIME_HDR )
You can’t perform that action at this time.
0 commit comments