Merge bench_recover into bench

2021-10-17 13:56:59 -04:00
parent 855e18d8a8
commit 3208557ae1
5 changed files with 16 additions and 19 deletions
--- a/ci/cirrus.sh
+++ b/ci/cirrus.sh
@@ -51,10 +51,6 @@ then
        $EXEC ./bench_internal
        $EXEC ./bench
    } >> bench.log 2>&1
-    if [ "$RECOVERY" = "yes" ]
-    then
-        $EXEC ./bench_recover >> bench.log 2>&1
-    fi
    if [ "$SCHNORRSIG" = "yes" ]
    then
        $EXEC ./bench_schnorrsig >> bench.log 2>&1