s/internal error/internal compiler error/

2018-05-16 20:08:46 +02:00 · 2018-05-16 20:08:46 +02:00 · 569c138333
parent 3314c5fda7
commit 569c138333
1 changed files with 1 additions and 1 deletions
--- a/ci/integration-tests.sh
+++ b/ci/integration-tests.sh
@ -9,7 +9,7 @@ cd checkout
 function check() {
  cargo clippy --all &> clippy_output
  cat clippy_output
-  ! cat clippy_output | grep -q "internal error"
+  ! cat clippy_output | grep -q "internal compiler error"
  if [[ $? != 0 ]]; then
    return 1
  fi