On Fri, 2017-12-01 at 19:57 +0100, Julia Lawall wrote: > You can also set a timeout, for example --timeout 120 (120 seconds). It > will report on the files that timed out and you can check on them > manually. Some other useful options are: Right, but the result won't compile if you do that and it doesn't modify some files :-) > --profile: see how long it spends in each rule or various parts of the > OCaml code > > --show-trying: see what function it is working on > > --debug see what rule and with what inputs it is working on I guess I should play with these and figure out why this particular spatch is so slow, thanks for the pointers! johannes -- To unsubscribe from this list: send the line "unsubscribe backports" in
