| changeset 7076 | c96fa26247c8 |
| parent 7072 | 4863847e93a5 |
| child 8031 | d5fe2c1cecfc |
| 7075:8b20233fedeb | 7076:c96fa26247c8 |
|---|---|
937 if (werror) |
937 if (werror) |
938 return true; |
938 return true; |
939 break; |
939 break; |
940 |
940 |
941 case ERROR: |
941 case ERROR: |
942 if (fatalErrors || !d.isFlagSet(RESOLVE_ERROR)) |
942 if (fatalErrors || !d.isFlagSet(RECOVERABLE)) |
943 return true; |
943 return true; |
944 break; |
944 break; |
945 } |
945 } |
946 } |
946 } |
947 |
947 |