PAN-6 Fixed an issue with the .travis file

2019-02-10 12:53:03 -07:00
parent 6057d26eee
commit 4e6b590fd1
1 changed files with 2 additions and 1 deletions
@@ -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