diff --git a/.travis.yml b/.travis.yml index 855502d..9b07066 100644 --- a/.travis.yml +++ b/.travis.yml @@ -17,6 +17,7 @@ before_install: - cd pandamonium-theorem-prover before_script: + - mysql_upgrade --force -uroot -p - mysql -u root -e 'CREATE DATABASE IF NOT EXISTS pandamonium;' - mysql -u root -e "CREATE USER 'panda'@'localhost';" - mysql -u root -e "GRANT ALL PRIVILEGES ON *.* to 'panda'@'localhost';"