Merge "Add a command line option to suppress compilation errors"