Changes in tools/checkers/stanse.py [6064dab:958de16] 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]
@@ -83 +85 @@
                 
                 # Only C files are interesting for us
-                if (arg[2] != "cc"):
+                if (tool != "cc"):
                         continue