mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-07 04:47:37 +08:00
errors in any commands, including in various clean targets that have so far been handled inconsistently. make -i is available to ignore all errors in a consistent and official way.