fix macro table rendering command

verus-lang · Aug 19, 2024 · a8d0af6 · a8d0af6
1 parent 86cc73d
commit a8d0af6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/macro-stats/run.sh b/macro-stats/run.sh
@@ -25,5 +25,5 @@ docker run --platform=linux/amd64 --rm -it -v .:/root/eval -w /root/eval ghcr.io
 
 print_top_header "rendering table"
 
-docker run --platform=linux/amd64 --rm -it -v .:/root/eval -w /root/eval kjarosh/latex:2024.2-small /bin/bash util/entry-render-table.sh
+docker run --platform=linux/amd64 --rm -it -v .:/root/eval -w /root/eval kjarosh/latex:2024.2-small /bin/sh util/entry-render-table.sh