diff --git a/.travis.yml b/.travis.yml index a03b45b..235ba94 100644 --- a/.travis.yml +++ b/.travis.yml @@ -9,7 +9,8 @@ before_install: - cd pandamonium-theorem-prover before_script: - - mysql -u root < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql + - mysql -u root -e 'CREATE DATABASE pandamonium;' + - mysql -u root pandamonium < pandamonium-theorem-prover/persistence/scripts/mysql/local_development.sql stages: - name: Load Database