coccinelle / herodotos Goto Github PK

I have tried to use --diff gumtree (previously, I used --diff gnudiff).

There are errors like this:

  606 [         diff.ml 99   ] ERROR - *** FAILURE *** Code: 2  gumtree --output asrc /usr/src/HERODOTOS/INPUT/rpm/4.0.4-alt100.94/rpm/rpmio/rpmpgp.c /usr/src/HERODOTOS/INPUT/rpm/4.0.4-alt100.95.M80P.1/rpm/rpmio/rpmpgp.c | gum2hero Linux.gumtree/4.0.4-alt100.94/rpm/rpmio/rpmpgp.c

Here is what it says:

$ gumtree --output asrc /usr/src/HERODOTOS/INPUT/rpm/4.0.4-alt100.94/rpm/rpmio/rpmpgp.c /usr/src/HERODOTOS/INPUT/rpm/4.0.4-alt100.95.M80P.1/rpm/rpmio/rpmpgp.c ; echo $?
** Unknown sub-command '--output'.
Available Options:
-c <2> Set global property (-c property value). Properties do not need to be prefixed by gumtree.
-v Verbose mode
--help Display help (this screen)

Available Commands:

• webdiff: a web diff client
• cluster: Extract action clusters
• diff: Dump actions in our textual format
• jsondiff: Dump actions in the JSON format
• list: List things (matchers, generators, properties, ...)
• parse: Parse file and dump result
• swingdiff: A swing diff client
• axmldiff: Dump annotated xml tree
  0

I'm using gumtree-2.1.1 from https://github.com/GumTreeDiff/gumtree (from 2018-01-29).