diff options
| author | Markus Uhlin <markus@nifty-networks.net> | 2026-03-08 01:31:11 +0100 |
|---|---|---|
| committer | Markus Uhlin <markus@nifty-networks.net> | 2026-03-08 01:31:11 +0100 |
| commit | 40683ba62b3410ee58bda41bbf70b8548688fd9c (patch) | |
| tree | af644fa9ff838fd98f9473628c8b6f8f39251703 /runcov.sh | |
| parent | adfa80ab92e2017a2cb72c72bb9672d240be7fa2 (diff) | |
New script
Diffstat (limited to 'runcov.sh')
| -rwxr-xr-x | runcov.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/runcov.sh b/runcov.sh new file mode 100755 index 0000000..f56f00d --- /dev/null +++ b/runcov.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +cov-build --dir cov-int make +tar czvf fics.tgz cov-int |