Add cov.sh

This commit is contained in:
Calcitem 2021-08-14 13:49:37 +08:00
parent a5bb8f9d65
commit a8ef258468
No known key found for this signature in database
GPG Key ID: F2F7C29E054CFB80
1 changed files with 13 additions and 0 deletions

13
cov.sh Normal file
View File

@ -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 ..