From a0ac7fa7e90adec227f9bb1befb558e4960e7885 Mon Sep 17 00:00:00 2001
From: Christoph Urlacher <christoph.urlacher@protonmail.com>
Date: Sun, 17 May 2026 22:47:50 +0200
Subject: [PATCH] use "NoPruner" pruning method

---
 scripts/runner.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/runner.pl b/scripts/runner.pl
index 8ea063e..881a6d8 100644
--- a/scripts/runner.pl
+++ b/scripts/runner.pl
@@ -180,6 +180,7 @@ sub import_trace {
       (
         "$fail_prune",    "--database-option-file $remote_db_conf",
         "-v $experiment", "-b %%",
+        '-p NoPruner',
         "--overwrite",    ">$remote_builds_dir/$experiment/2_prune.log"
       );
     say "Prune command: $prune_command";