On Thursday 2010-03-25 07:20, Julia Lawall wrote: >> > ./spatch -sp_file foo.cocci foo.c -o /tmp/newfoo.c >> > >> >However, spatch (from cocc 0.2.2) does not seem to know any options. It >> >does not support -h/--help either, so I can't tell if it's just the >> >manpage being outdated. >> > >> >$ spatch -sp_file pfamily.smpl x.c -o new.c >> >Unknown option -sp_file. >> >> 02:08 borg:../coccinelle-0.2.2/x > ./spatch -sp_file parfamily x.c >> init_defs_builtins: /usr/share/coccinelle/standard.h >> HANDLING: x.c >> No matches found for ->family .family >> Skipping:x.c >> 02:08 borg:../coccinelle-0.2.2/x > strip -s spatch >> 02:08 borg:../coccinelle-0.2.2/x > ./spatch -sp_file parfamily x.c >> Unknown option -sp_file. > >This seems quite mysterious. Thanks for reporting it. > >Where did you get your version of spatch? Ie, did you compile it yourself, >take our binary, or take a binary from somewhere else?
Compiled by myself, then copied to the directory "x" (to make sure it does not rely on any paths other than the one provided by openSUSE rpm installed in /usr..), and stripped that. _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
