diff --git a/cov.sh b/cov.sh new file mode 100644 index 00000000..53cff6f7 --- /dev/null +++ b/cov.sh @@ -0,0 +1,13 @@ +#!/bin/bash + +rm -rf cov-int +rm -f sanmill.tgz +cd src +rm -rf cov-int +rm -f sanmill.tgz + +make clean +cov-build --dir cov-int make -j build ARCH=x86-64 +tar czvf sanmill.tgz cov-int + +cd ..