From 5413a7ca6c2daefaa66bb8a0153c9d3d9a3e0301 Mon Sep 17 00:00:00 2001
From: Andrew Appel <appel@princeton.edu>
Date: Tue, 29 Aug 2023 11:52:56 -0400
Subject: [PATCH] fix #702

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

diff --git a/Makefile b/Makefile
index 4d585b975..528e4dc05 100644
--- a/Makefile
+++ b/Makefile
@@ -855,7 +855,7 @@ $(patsubst %.c,$(PROGSDIR)/%.v, $(SINGLE_C_FILES)): $(PROGSDIR)/%.v: $(PROGSDIR)
 endif
 
 veric/version.v:  VERSION $(MSL_FILES:%=msl/%) $(SEPCOMP_FILES:%=sepcomp/%) $(VERIC_FILES:%=veric/%) $(FLOYD_FILES:%=floyd/%)
-	sh util/make_version ${BITSIZE} ${COMPCERT_VERSION}
+	util/make_version ${BITSIZE} ${COMPCERT_VERSION}
 
 _CoqProject _CoqProject-export: Makefile util/coqflags $(COMPCERT_CONFIG)
 	echo $(COQFLAGS) > _CoqProject