From 8441ca0067983d3f9de7848aec6aa75a0ee5f0f6 Mon Sep 17 00:00:00 2001 From: AndrewQuijano Date: Mon, 26 Aug 2024 20:49:19 -0400 Subject: [PATCH] Bug Mining --- scripts/bug_mining.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/scripts/bug_mining.py b/scripts/bug_mining.py index 2b1d0e9..ffd7b1f 100644 --- a/scripts/bug_mining.py +++ b/scripts/bug_mining.py @@ -117,8 +117,6 @@ def progress(msg): # global curtail curtail = int(sys.argv[4]) -panda_os_string = project.get('panda_os_string', 'linux-32-debian:3.2.0-4-686-pae') - lavadir = dirname(dirname(abspath(sys.argv[0]))) progress("Entering {}".format(project['output_dir']))