Here is the magic incantation: spatch -I include -sp patch.cocci src/fail_to_include.c -relax_include_path -all_includes
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
