Update holy README.md

Parsoa · Nov 27, 2023 · b49b7bf · b49b7bf
1 parent 7f8767e
commit b49b7bf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/holy/README.md b/holy/README.md
@@ -11,7 +11,7 @@ docker run -t -i --rm -v `pwd`:/io phusion/holy-build-box-64:latest /hbb_exe/act
 # quite useful (i.e., to run libcheck on a binary):
 cd holy
 docker run -t -i --rm -v `pwd`:/io phusion/holy-build-box-64:latest /hbb_exe/activate-exec bash
-libcheck SVDSS_linux_x86-64
+libcheck io/SVDSS_linux_x86-64
 ```
 
 Note: