Bug Mining

panda-re · Aug 27, 2024 · 8441ca0 · 8441ca0
1 parent 4e17875
commit 8441ca0
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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']))