qa: use time on fuzz targets being run on corpus

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 9555ae20797c0769f93661ce88ea4940d732941b..902a4bec87353bef9fffcd7f0f4f25d3cc0ac926 100644 (file)
--- a/.github/workflows/builds.yml
+++ b/.github/workflows/builds.yml
@@ -741,6 +741,7 @@ jobs:
                 exuberant-ctags \
                 unzip \
                 curl \
+                time \
                 wget
       - uses: actions/checkout@v2
       - uses: actions/download-artifact@v2

diff --git a/qa/run-ossfuzz-corpus.sh b/qa/run-ossfuzz-corpus.sh
index c2ac05b3b69525871c47ec2798ac5c610379da58..81959c35a2add9349baf4a1b3439f2fb12986beb 100755 (executable)
--- a/qa/run-ossfuzz-corpus.sh
+++ b/qa/run-ossfuzz-corpus.sh
@@ -9,5 +9,5 @@ do
     rm -rf corpus_$target
     unzip -q public.zip -d corpus_$target
     #run target on corpus.
-    ./src/$target corpus_$target
+    /usr/bin/time -v ./src/$target corpus_$target
 done