From 72f78307cec2ac8fb33d657b118a930b2acfe8ad Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 15 Jul 2020 11:37:16 +0200 Subject: Added missing semicolon. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index ae095a09..127ed5d2 100644 --- a/Makefile +++ b/Makefile @@ -247,7 +247,7 @@ compcert.config: Makefile.config echo "COMPCERT_SYSTEM=$(SYSTEM)"; \ echo "COMPCERT_VERSION=$(BUILDVERSION)"; \ echo "COMPCERT_BUILDNR=$(BUILDNR)"; \ - echo "COMPCERT_TAG=$(TAG)" \ + echo "COMPCERT_TAG=$(TAG)"; \ echo "COMPCERT_BRANCH=$(BRANCH)" \ ) > compcert.config -- cgit