Renamed --show-all-cpp-warnings to --picky-cpp (leaving the old one for compatibility) Rev: lib/master.pike.in:1.366