diff options
Diffstat (limited to 'gcc/web.c')
| -rw-r--r-- | gcc/web.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/web.c b/gcc/web.c index e57bb37570f..c8f43459952 100644 --- a/gcc/web.c +++ b/gcc/web.c @@ -433,8 +433,6 @@ struct rtl_opt_pass pass_web = 0, /* properties_provided */ 0, /* properties_destroyed */ 0, /* todo_flags_start */ - TODO_df_finish | TODO_verify_rtl_sharing | - TODO_dump_func /* todo_flags_finish */ + TODO_df_finish | TODO_verify_rtl_sharing /* todo_flags_finish */ } }; - |
