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']))