it's called thread-jumps now

[r26283]

diff --git a/main.c b/main.c
index b93ac30..eb284fa 100644 (file)
--- a/main.c
+++ b/main.c
@@ -752,7 +752,7 @@ int main(int argc, char **argv)
                /* use_builtins = true; */
                /* fallthrough */
        case 3:
-               set_option("jumpthreading");
+               set_option("thread-jumps");
                set_option("if-conv");
                /* fallthrough */
        case 2: