Changes in tools/checkers/stanse.py [958de16:6064dab] in mainline

File:

• tools/checkers/stanse.py (modified) (2 diffs)

tools/checkers/stanse.py

@@ -74 +74 @@
                 srcfname = arg[0]
                 tgtfname = arg[1]
-                tool = arg[2]
-                category = arg[3]
                 base = arg[4]
                 options = arg[5]
@@ -85 +83 @@
                 
                 # Only C files are interesting for us
-                if (tool != "cc"):
+                if (arg[2] != "cc"):
                         continue