From ff6b1d956400bf3c19b35773af3396852b142d01 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Sun, 10 Feb 2019 13:59:34 -0700 Subject: [PATCH] PAN-6 Fixed the user creation for .travis.yml --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 9b07066..933d299 100644 --- a/.travis.yml +++ b/.travis.yml @@ -17,7 +17,7 @@ before_install: - cd pandamonium-theorem-prover before_script: - - mysql_upgrade --force -uroot -p + - mysql_upgrade --force -uroot - 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';"