From 7a2c8eee2d4d44224366a67e8dce2d505727927e Mon Sep 17 00:00:00 2001
From: John Swinbank <swinbank@astron.nl>
Date: Sun, 15 Nov 2020 14:24:35 +0100
Subject: [PATCH] Use printf rather than echo for portability
---
example/Makefile | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/example/Makefile b/example/Makefile
index 34a3a72..150e90a 100644
--- a/example/Makefile
+++ b/example/Makefile
@@ -15,6 +15,6 @@ example.pdf: example.tex meta.tex
meta.tex: Makefile .FORCE
rm -f $@
- echo '% GENERATED FILE -- edit this in the Makefile' >>$@
- /bin/echo '\\newcommand{\\vcsRevision}{$(GITVERSION)$(GITDIRTY)}' >>$@
- /bin/echo '\\newcommand{\\vcsDate}{$(GITDATE)}' >>$@
+ printf "%s\n" "% GENERATED FILE -- edit this in the Makefile" >>$@
+ printf "%s\n" "\newcommand{\vcsRevision}{$(GITVERSION)$(GITDIRTY)}" >>$@
+ printf "%s\n" "\newcommand{\vcsDate}{$(GITDATE)}" >>$@
--
GitLab