parse-cocci: ignore c files given as cocci args
When specifying --parse-cocci on the commande line, the c files listed as arguments in the cocci file are ignored. Fix issue #8 (closed)
When specifying --parse-cocci on the commande line, the c files listed as arguments in the cocci file are ignored. Fix issue #8 (closed)